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.
The LaBRI and its regional partners are among the five projects selected by GENCI and CEA to host a local branch of the national “Maisons du Quantique
On the eve of the 9th edition of Vivatech 2025 (Paris, June 11-14, 2025), why not take a look back at images from the previous edition, in which LaBRI
Yanis Asloudj will defend his thesis on December 9, 2025, at 2 p.m., in the LaBRI lecture hall. The title of his thesis is: “Development of annotation
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Anaïs Binet, working on her thesis with Myriam Desainte-Catherine (I&S department, TAD team), is the winner of the “Mature for PhD +” competition. She
Breaking down language barriers so that a group of people who do not speak the same language can have a fluid conversation is the ambition of a

Jonathan Narboni Title: Lower Bound for Constant-Size Local Certification Abstract: Given a network property or a data structure, a local

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