Une rencontre pour la journée mondiale de la logique est organisée Vendredi 14 janvier dans la salle de cours 1.01 du bâtiment 1 du campus triolet (120 places).
Ces 3 exposés grand publics sont avant destinés aux étudiants d’informatiques ou de mathématiques, L3 M1 M2 et aux collègues d’autres disciplines.

Programme :

13:30 — Un ordinateur est-il logique? Par Simon ROBILLARD (LIRMM Université de  Montpellier CNRS)

14:00 — Logique et jeux par Davide CATTA (LIRMM Université de  Montpellier CNRS)

15:00 — Logique et grammaire par Richard MOOT (LIRMM Université de  Montpellier CNRS)
Instituée en novembre 2019 par l’UNESCO, la Journée mondiale de la logique sera 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).  Nous avons déjà marqué la journée mondiale de la logique, le 14 janvier 2019 (programme) tout comme le 14 janvier  2020 (programme) et le 14 janvier 2021 (programme).