Search
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.
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal challenges of digital technology, will take place in the
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems
Philippe Gireaudeau will defend her thesis entitled: "Tangible and augmented interactions to discover, understand and learn"
As part of the Pedagogical Innovation GT, Aurélie Bugeau will give a seminar entitled "Computing and the environment: which lessons?"
The RoboCup 2023 will open its doors in Bordeaux, from July 4 to 10th, 2023. This event, which brings together no less than 2500 competitors, 3000
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
Presentation on the software engineering issues involved in the development of the Coq proof assistant