Search

Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025
Robert Cori's seminar on polynomials and hypercards.
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Save the date: 2021, November 26th for the LaBRI General Assembly and Party

Chana Weil-Kennedy (CEA List) Title: Parameterized Verification of Distributed Systems Abstract: I am interested in verification of distributed

The Rhoban team has not demerited and has reached the second place of the podium, at the Robocup 2022 held last July in Thailand. Congratulations to
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".
Invitation to the 3rd webinar in the “Cafés Science Ouverte” series - one of five 30-minute events on open science organized by the University of