Search
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
Philippe Gireaudeau will defend her thesis entitled: "Tangible and augmented interactions to discover, understand and learn"
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
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
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems
Éric Tanter, Professor at the University of Chile and holder of the Inria International Chair for 2025–2029 (in collaboration with the Galinette team
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere