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
Symposium CAIPI, les 11 et 12 décembre 2025
Les 11 et 12 décembre 2025, le LIRMM aura le plaisir d’accueillir une nouvelle édition du séminaire itinérant CAIPI. Informations sur le séminaire CAIPIProgramme détaillé de l’édition de décembre
5 novembre 2025
