La journée mondiale de la logique 2022 est organisée par 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 ou de mathématiques et il est tout à fait
possible de ne suivre qu'une partie des exposés.
Il est possible que cette journée soit diffusée en ligne
minimalement, les personnes intéressées peuvent envoyer un mail à
Christian Retoré, adresse sur sa page du LIRMM.
13:30 — Deux mots
de présentation
13:30 — Un
ordinateur est-il capable de logique? Simon ROBILLARD (LIRMM
Université de Montpellier CNRS)
14:00 — Logique
et jeux Davide CATTA (LIRMM
Université de Montpellier CNRS)
15:00 — Logique, grammaire
et traitement automatique des langues Richard MOOT (LIRMM
Université de Montpellier CNRS)