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

Congratulations to Patrick Valuriez on being named Fellow of Asia-Pacific Artificial Intelligence Association (AAIA) 2024

Patrick Valduriez is Director of Research Emeritus at Inria, Scientific Director of the Inria-Brasil international laboratory; Scientific Director of LeanXcale; and a member of Zenith,

18 April 2024

home

Portrait of Loïc Masure, recent arrival at LIRMM in the “Smart Integrated Electronic Systems” team

Read the portrait of Loïc Masure, CNRS Research Fellow who joined our laboratory in 2023 as a member of the SMARTIES team: read the article

17 April 2024

home

Congratulations to Gwenaëlle Donadieu who won the regional final of “Be a boss”.

On March 13, Gwenaëlle Donadieu presented the NumDiag project she runs with Anne Laurent, at the Be a Boss pitch competition. A finalist for the

3 April 2024

Events

The PEPR Organic Robotics program was launched on Monday, March 11.

France 2030: the CEA, CNRS and Inria are leading a major national research program for robotics adapted to human beings. Read the article: https://www.cnrs.fr/en/press/france-2030-cea-cnrs-and-inria-lead-major-national-research-programme-robotics-adapted-human France

15 March 2024