A beautiful day devoted to decidable fragments of first order logic

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

home

DeepPulseNeuro, winner of the i-Lab 2025 competition

The DeepPulseNeuro project was recognized at the 2025 edition of the i-Lab national innovation competition, organized by Bpifrance. This prestigious award highlights the scientific excellence

18 December 2025

home

The ENTREMETS project honored by the CNRS MITI

The ENTREMETS project – Development of sensors and sensor networks in and around animals to support the development of sustainable fishing and aquaculture – was

18 December 2025

home

Michel Robert joins the Montpellier Academy of Sciences and Letters

The official inauguration ceremony for Michel Robert at the Montpellier Academy of Sciences and Letters was held on Monday, December 8 at 5:30 p.m. at

10 December 2025

home

Spotlight on LIRMM talent: Paul Leloup featured in the “Rouages” series

As part of the LIRMM research support department since 2019, Paul Leloup puts his talent to work for his fellow researchers, as well as the

10 December 2025