David Carral (GraphiK, LIRMM & INRIA) is organising on WEDNESDAY 17 NOVEMBER 2021, in the framework of the LIRMM transverse action “logic”, a beautiful day dedicated to decidable fragments of first order logic.
David has put together (see below) a series of talks by renowned researchers, and we hope to see many of you there, especially since the morning talks are accessible to neophytes.
home
MITI talks about the PRIME ML4RegGen project, led by Laurent Brehelin and others
he CNRS PRIME (Projet de recherche interdisciplinaire multi-équipes) labelling programme is a key mechanism piloted by MITI to structure and encourage interdisciplinarity. Its aim is
18 July 2025
