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
Michel Robert dans La Tribune : « Le numérique est à la fois un remède et un poison. Tout est donc question de dosage »
Le Directeur du CINES salue le titre choisi par la journaliste — « Attention aux usages futiles sur une planète finie » — qu’il juge particulièrement juste
7 octobre 2025
