David Carral (GraphiK, LIRMM & INRIA, ) organise le MERCREDI 17 NOVEMBRE 2021 dans le cadre de l’action transverse « logique » du LIRMM une belle journée consacrée à des fragments décidables de la logique du premier ordre.
David a mis au point (cf. infra) une suite d’exposés par des chercheurs renommés, et nous espérons vous y voir nombreux, d’autant que les exposés du matin sont accessibles aux néophytes.

accueil
Séminaire du Professeur Oussama Khatib,Monday, June 23, 2025 – Amphi St Priest
Dans le cadre de l’IRP Stanford-LIRMM (International Research Project, CNRS) et de l’axe transverse Mer & Ocean du LIRMM, nous avons le plaisir d’accueillir au laboratoire le Professeur