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
La MITI parle du PRIME ML4RegGen porté entre autres par Laurent Brehelin
Le programme de labellisation PRIME (Projet de recherche interdisciplinaire multi-équipes) du CNRS est un dispositif clé piloté par la MITI pour structurer et encourager l’interdisciplinarité.
18 juillet 2025
