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.
Events
The MIPS Research Centre is relaunching its monthly lecture series! See you on 3 October 2025.
Offshore energy platforms : the new challenge for inspection robotics The MIPS Research Cluster is relaunching its monthly conference cycle with a new scientific event
11 September 2025
