14 janvier 2022 : Journée mondiale de la logique à la FdS
Une rencontre pour la journée mondiale de la logique est organiséeVendredi14 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 logiquesera célébrée chaque 14 janvier, jour de la naissance d’Alfred Tarski (14/01/1901-26/10/1983)et de la mort deKurt 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).
Plus d’informations ici: https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html