Agenda

Journée Mondiale de la Logique

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.
 

 

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)
 




LPHI  Laboratory of Pathogens and Host Immunity
UMR 5294 - Université Montpellier
Place Eugène Bataillon, Bât. 24, CC107, 2ème étage
34095 Montpellier cedex 5

© 2023 LPHI