Search
The tree-independence number of a graph is the analogue of treewidth where, instead of minimising the size of bags, we minimise the size of a stable
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Guillaume Lagarde has been appointed by the French Ministry of Higher Education, Research and Innovation (MESRI) to work alongside Hugo Gimbert and
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Event bringing together the staff of Inria, the IMB and the LaBRI for lunch and an afternoon of games. Date: June 16th - Location: car park and lawn
At the 28th ISCC 2023 conference in July, Sabri Khamari received the "Best Student Short Paper & Poster Award".
An AI detects the first signs of multiple sclerosis. The aim of this research is to gain a better understanding of how the disease develops, but also