Search
Presentation on the software engineering issues involved in the development of the Coq proof assistant
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
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
Led by Toufik Ahmed, University Professor at Bordeaux and researcher at LaBRI, in collaboration with Knocknock and ADACIS, with technical support from
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
Éric Tanter, Professor at the University of Chile and holder of the Inria International Chair for 2025–2029 (in collaboration with the Galinette team