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 (LIRMM) invited to Tunisia for a plenary lecture and a seminar at ENIT
From November 24 to 26, 2025, Ahmed Chemori, researcher at LIRMM (CNRS / University of Montpellier), was invited to Tunisia to participate in the 4th International Conference on Signal,









