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
Ahmed Chemori, invited by the French Ambassador to Mexico
As part of the second Summer School on the Control of Complex Robotic Systems, held at CINVESTAV from April 21 to 24, Ahmed Chemori (DEXTER
28 April 2025
