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
Save the Date : Jeudi 30 mai 2024, journée de recherche pluri-disciplinaire
Rendez-vous à partir de 9h sur le Campus Triolet – Salle SC001 de Polytech Montpellier Programme • 9h00 : Accueil des participants • 9h30 :