Search

Robert Cori's seminar on polynomials and hypercards.
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.
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Led by Toufik Ahmed, University Professor at Bordeaux and researcher at LaBRI, in collaboration with Knocknock and ADACIS, with technical support from
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere
On March 26, Nathanaël Fijalkow was one of two guests on the CQFD program on France Culture, during which they attempted to address the many questions
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
The 17th Journées de Combinatoire de Bordeaux (JCB 2025) will be held at the LaBRI from Monday February 3 to Wednesday February 5, 2025.
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