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
Next LIRMM seminar: “Integrated water resource management” on Thursday 22 June at the Institut Agro Montpellier
The aim of this seminar is to present the digital technologies developed by the LIRMM research teams and their academic and industrial partners in the
31 May 2023
