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.
home
Giannos Stamoulis honoured in CNRS Computer Science
Winner of an honourable mention in the 2024 Gilles Kahn Thesis Prize, awarded jointly with Mathieu Even for their work on federated learning, particularly on
14 October 2025
