Christian Retoré (professeur, UM FDS dépt info &
LIRMM) dans le cadre de l'action transverse "LOGIQUES"
du LIRMM avec le soutien du
séminaire
HiPhiS, Histoire et Philosophie des Sciences coordonné
par Laurent Boiteau (CNRS)
Les exposés sont conçus pour être accessibles au plus grand
nombre, et notamment aux étudiants de licence et de master
d'informatique, de mathématiques ou de philosophie, ainsi qu'aux
enseignants et chercheurs de toutes disciplines --- il est tout
à fait possible de ne suivre qu'une partie des exposés.
En 2023 le 14 janvier
est un samedi. Nous organisons néanmoins une demi-journée
d'exposés grand public. Ils auront lieu à la faculté des
sciences dans l'amphithéatre 5.01 batiment 5 (à l'extrémité
batiment 5, du côté du batiment 35), 1er étage (plan)
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)
Retour axe transverses Logiques du LIRMM