Search

JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
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.
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

Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Antoine Billy defend his thesis: Multimodal 3D+ imagery for drone: application to the evaluation of the phytosanitary state of the vines
A formal language is a set of words, formed on an alphabet of symbols. The theory of formal languages was born out of concern: Logicists who wanted to
Cindy Becher will submit her thesis entitled: "Disambiguation of the visualization and manipulation of occluded virtual 3D objects in Augmented