Information: this page is not translated in english

News : Une belle journée consacrée à des FRAGMENTS DÉCIDABLES DE LA LOGIQUE DU PREMIER ORDRE

Une belle journée consacrée à des FRAGMENTS DÉCIDABLES DE LA LOGIQUE DU PREMIER ORDRE

David Carral (GraphiK, LIRMM & INRIA, https://www-sop.inria.fr/members/David.Carral/)
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
https://notes.inria.fr/s/71_cRme3H#
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.
En raison des restrictions dues au COVID, il faut s'inscrire ici,
https://docs.google.com/forms/d/e/1FAIpQLSdak3J8J8OYqFOYHAeqfPbCxLgmIQZ9n_O7FIchR60zQkKAhQ/viewform 
pour les exposés comme pour le déjeuner.