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
Ahmed Chemori delivers a plenary lecture at ICCAD 2026
From July 7 to 9, 2026, Ahmed Chemori, CNRS researcher at LIRMM, was invited to the 10th International Conference on Control, Automation and Diagnosis (ICCAD
20 July 2026
