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
Fête de la Science 2022. Open house at the LIRMM on Saturday 8 October from 10am to 5pm
On the occasion of its 30th anniversary, the LIRMM wishes to share with you a part of the evolution of new technologies, and is participating
7 September 2022
