• Manifestations scientifiques,
  • Recherche,
  • Philosophie,

Séminaire 2023-24 | Logique, Mathématiques, Informatique, Raisonnement

Evènement | 24 octobre 2023

Séminaire de philosophie des sciences organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).
Rendez-vous mardi 24 octobre pour écouter l'intervention de Hugo CADIÈRE consacrée à “La notion d’égalité dans la théorie homotopique des types”.

Logique, Mathématiques, Informatique, Raisonnement

Coordination scientifique : Hugo Cadière (IRPhiL Lyon 3) et Jean-Baptiste Joinet (IRPhiL Lyon 3 & IXXI)

Séminaire organisé avec le soutien de l’Institut des Systèmes Complexes Rhônalpin (IXXI) et la Maison des Sciences de l’Homme Lyon Saint-Étienne (MSH-LSE).

Séminaire mensuel – Programme 2023-2024
 

SEPTEMBRE
  • Mardi 26/09/2023, 18h-19h30. Lyon 3, bât. du 18 rue Chevreul, 69007 Lyon, Salle 306

    Jean-Baptiste JOINET (IRPhiL Lyon 3 & IXXI)
    “Pour une ontologie computationnelle : sémantique actionnelle et individu algorithmique”

OCTOBRE
  • Mardi 24/10/2023, 18h30-20h. ENS de Lyon, 15, Parvis René Descartes, Salle D2.004

    Hugo CADIÈRE (IRPhiL Lyon 3 & Laboratoire junior TheoDem, ENS de Lyon)
    “La notion d’égalité dans la théorie homotopique des types”

NOVEMBRE
Le colloque du collectif interdisciplinaire NORMES (Logique/Informatique/Droit) et le colloque “Logique Linéaire et Philosophie” (organisés par JB Joinet & H. Cadière) étant prévus du mercredi 08/11 (à partir de 14h) au vendredi 10/11/2023, aucune séance du séminaire LMIR n’est prévue en novembre.

À noter : ces deux journées et demie de colloques auront lieu à la MSH-LSE, 14 avenue Berthelot, Lyon, dans l’Espace Marc Bloch.
► Programme et informations bientôt accessibles sur le site web de l’IRPhiL.
 

INFOS PRATIQUES

Lieu(x)

Campus des Quais, Hors campus

Université Jean Moulin Lyon 3 et ENS de Lyon
Voir salle indiquée pour chaque séance
Contact

Jean-Baptiste Joinet

jean-baptiste.joinet@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Manifestations scientifiques, Recherche, Philosophie