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

Events

Event in honor of Jean-Claude Konig on Friday, July 5, 2024

We are delighted to invite you to a morning event on Friday, July 5, 2024 in honor of Jean-Claude König, emeritus member of the MAORE

25 June 2024

home

Congratulations to Danièle Hérin, SIF Honorary Member 2024

Danièle Hérin, university professor in computer science, Member of Parliament for the 1st constituency of Aude from 2017 to 2022, President of the University of

6 June 2024

home

Katharina Boudgoust and network cryptography

Katharina Boudgoust’s work highlighted on our institute’s website: https://www.ins2i.cnrs.fr/fr/cnrsinfo/katharina-boudgoust-et-la-cryptographie-base-de-reseaux Katharina Boudgoust joined the LIRMM in 2023 as a member of the ECO team in the

6 June 2024

Events

Computer science and robotics at school from an early age!

Following a collaboration between LIRMM, the Epsylon laboratory and the Faculty of Science, Madalina Croitoru, accompanied by four students from the Master of Computer Science

31 May 2024