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
Les journées PIB CAMI – GPT du GdR Robotique, les 27 et 28 novembre 2025
L’évènement réunira les chercheurs et enseignants-chercheurs, les représentants de l’industrie et les cliniciens travaillant dans le domaine de l’assistance aux gestes médico-chirurgicaux par ordinateur et
18 novembre 2025
