Search

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.
Clément Richefort will present his thesis entitled: “Development of an algebraic multigrid solver for the indefinite Helmholtz equation”.
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
From February 03 to 05, 2025, the 17th Bordeaux Combinatorics Days (JCB 2025) will be held at the LaBRI. Registration before January 06, 2025, here.
Maudeline Marlier will defend her thesis (co-tutelle with Inria Saclay), on March 03, 2024 at 2pm, in the Ada Lovelace room (Inria). The title of her
At the 28th ISCC 2023 conference in July, Sabri Khamari received the "Best Student Short Paper & Poster Award".

I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems

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