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
Symposium CAIPI, December 11–12, 2025
On December 11 and 12, 2025, the LIRMM will have the pleasure of hosting a new edition of the CAIPI Traveling Symposium. 🔗 Information about the CAIPI Symposium🔗 Detailed program for
5 November 2025
