Une demi-journée d'exposés grand public est organisée à la Faculté des Sciences de Montpellier dans le cadre de la Journée Mondiale de la Logique, le 14 janvier 2023.
Instituée en novembre 2019 par l’UNESCO, la Journée mondiale de la logique est célébrée chaque 14 janvier, jour de la naissance d'Alfred Tarski (14/01/1901-26/10/1983) et de la mort de Kurt Gödel (28/04/1906--14/01/1978).
Dans ce cadre, nous organisons une demi-journée d'exposés grand public. Ils auront lieu à la Faculté des Sciences de Montpellier, dans l'amphithéatre 5.01 batiment 5.
Plus de détails sur https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html
Lieu: Amphithéatre 5.01 batiment 5 (à l'extrémité batiment 5, du côté du batiment 35), 1er étage (plan), Faculté des Sciences, Montpellier, France
Date: Samedi 14 janvier 2023, de 10h00 à 13h00
Programme:
- 10h
Théorèmes d'incomplétude et calculabilité
Bruno DURAND (LIRMM, Univ Montpellier et CNRS) - 11h
Droit et logique déontique
Emiliano LORINI (IRIT, CNRS et Univ Toulouse 3) - 12h
Sécurité des programmes et logique modale
Davide CATTA (Telecom Paris, Institut Polytechnique de Paris)
