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
Christophe Dhénaut, directeur des services du LIRMM, distingué de la médaille de Cristal du CNRS 2026
La médaille de Cristal du CNRS distingue des femmes et des hommes, personnels d’appui à la recherche, qui par leur créativité, leur maîtrise technique, leur
10 juillet 2026
