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”.
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
