Menu Close

A beautiful day devoted to decidable fragments of first order logic

JourneeLogique

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.

Programme

En voir plus

Events

NumDiag seminar on 5 June 2025

As part of the NumDiag project (https://www.numdiag.fr/), a seminar will be held on Thursday 5 June in room SC002 at Polytech Montpellier. “AI, cybersecurity and