7e Journée Mondiale de la Logique
Mardi 14 janvier 2025 de 14h à 19h
Université de Montpellier campus Triolet
Faculté des Sciences Bâtiment 16 salle SC16.01 , entrée libre
Sur une idée de Jean-Yves Beziau, la date de la Journée mondiale de la logique (WLD, site web) est, entre autres, à la fois l’anniversaire de la naissance d’Alfred Tarski (1901) et celui de la mort de Kurt Gödel (1978), deux logiciens majeurs du XXe siècle. Depuis 2020, cette journée est placée sous le patronnage de l’UNESCO. À cette occasion, des collègues de l’université de Montpellier organisent une demi-journée scientifique dont les exposés sont conçus pour être accessibles au plus grand nombre, notamment aux étudiants des licences de mathématiques et d’informatique. Manifestation co-organisée par le LIRMM et le séminaire HiPhiS.
Programme :
(détails à venir sur https://www.lirmm.fr/~retore/WLD/WorldLogicDay.html)
14:00 – Marianne Huchard (LIRMM, Université de Montpellier, CNRS)
De l’analyse relationnelle de concepts aux logiques de descriptions
15:00 – Jean-François Baget (LIRMM, Université de Montpellier, CNRS)
L’IA à base de règles : la déduction entre efficacité et expressivité
16:00 – Pause-café
16:30 – Vincent Blazy (LIRMM, Université de Montpellier, CNRS)
Une introduction à la théorie des types
17:30 – conférence HiPhiS – Paul Égré (Institut Jean-Nicod, CNRS & ENS Paris)
Raisonnement et cognition
Contact JML 2025 Montpellier : Christian Retoré (LIRMM)