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
Seminar by Professor Oussama Khatib,Monday, June 23, 2025 – Amphi St Priest
As part of the Stanford-LIRMM IRP (International Research Project, CNRS) and the LIRMM’s “Sea and Ocean” Cross-Department Research Theme, we are pleased to welcome Professor Oussama
19 June 2025
