Logique, mathématiques, informatique, raisonnement
Séminaire de philosophie des sciences organisé par le laboratoire IRPHIL, dans le cadre du projet Computation, complexité et types : la logique linéaire et ses interfaces.
Cycle organisé avec le soutien de l’Institut des Systèmes Complexes Rhônalpin (IXXI) et la MSH Lyon Saint-Étienne (appel à projets commun 2022).
Programme
>> Programme complet & informations (IRPHIL)
Mardi 26 sept 2023, 18h-19h30
Univ. Lyon 3, 18 rue Chevreul, Lyon 7e (salle 306)
Pour une ontologie computationnelle : sémantique actionnelle et individu algorithmique
Jean-Baptiste Joinet (IRPhiL Lyon 3 & IXXI)
Mardi 24 oct 2023, 18h30-20h
ENS de Lyon, 15 parvis René Descartes, Lyon 7e (salle D2.004)
La notion d’égalité dans la théorie homotopique des types
Hugo Cadière (ENS de Lyon, IRPhiL Lyon 3 & Laboratoire junior TheoDem)
Mercredi 8 et jeudi 9 nov 2023
MSH Lyon St-Etienne, 14av. Berthelot, Lyon 7e (espace Marc Bloch)
Journées d'études "Les interfaces logique-informatique-droit : horizons philosophiques"
Organisées par le collectif interdisciplinaire NORMES
Vendredi 10 nov 2023, 9h45-16h30
MSH Lyon St-Etienne, 14av. Berthelot, Lyon 7e (espace Marc Bloch)
Journée d'études "Logique, langage et computation : autour de la logique linéaire des interfaces"
Mardi 30 janv 2024, 18h-19h30
Univ. Lyon 3, 18 rue Chevreul, Lyon 7e (salle 206)
L’Identité a-t-elle un sens ? / Is identity directed ? (exposé donné en français, diapositives en anglais)
Andrei Rodin (Univ. Lorraine, laboratoire AHP-PReST - UMR7117)
Mardi 5 mars 2024, 18h-20h
ENS de Lyon, campus Monod, 46 allée d'Italie, Lyon 7e (amphi A, Grande nef 1-2)
Relative toposes for the working mathematician
Olivia Caramello (University of Insubria (Como, Italie), Grothendieck Institute, Université de Paris-Saclay)
Mardi 12 mars 2024, 18h-19h30
Univ. Lyon 3, 18 rue Chevreul, Lyon 7e (salle à préciser)
Identité et identification de Leibniz à la théorie homotopique des types
David Rabouin et Filippo Costantini (CNRS, laboratoire SPHERE - UMR 7219, ERC Philiumm) (idem)
Coordination scientifique
Hugo Cadière, doctorant (Univ. Lyon 3, IRPHIL)
Jean-Baptiste Joinet, professeur des universités (Univ. Lyon 3, IRPHIL & IXXI)
Informations pratiques
Entrée libre, dans la limite des places disponibles.
Contact : Jean-Baptiste Joinet (Univ. Lyon 3, IRPHIL & IXXI) | jean-baptiste.joinet (a) univ-lyon3.fr