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
LIRMM, IES and LMGC collaborate to celebrate Fête de la science
Marine drones. Autonomous boats with foils and rigid solar sails. During the 33rd Fête de la science, the LIRMM, IES and LMGC research laboratories held
9 October 2024
