Search

The LaBRI has numerous structuring collaborative projects, some of which cover several scientific themes (this is notably the case for collaborations
Head department: Pierre Ramet The SATANAS department contributes to the design and development of robust and high-performance simulation tools for
And it's off to the world's biggest robotics and AI competition, held from 6 to 10 July, at the Parc des Expositions in Bordeaux. Of course, our team
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.
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
Here are some of the good practices for the LaBRI concerning IT support services Requests for assignment of Materials Arrival of staff Fill in FASCIL
The software of the SCRIME platform, Ossia score https://ossia.io/ has just reached 100 000 downloads. It is an interactive intermedia sequencer
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
Sabri Khamari will submit his thesis entitled: " Architectures and Protocols for Connected Vehicles".

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