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
TFJM² in Montpellier – April 11‑12, 2026
The French Tournament for Young Mathematicians (TFJM²), organized by the Animath association, will be held in Montpellier on April 11‑12, 2026 for the regional stage of the tournament. This
26 February 2026
