Search

JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
Who hasn't dreamed of diving into the memory of the oceans, playing soccer with robots, or discovering the secrets of industrial espionage? The CNRS
The environmental theme has been structured in recent years at the LaBRI. First of all by setting up a working group since 2019, bringing together
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
At the end of the summer period, from 2023, August 28th to September 01st, the M2F department is organising the MFCS - 48th International Symposium on

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

On November 20th, at 2pm (amphi LaBRI), Loann Giovannangeli will present his thesis: « Generation and Evaluation of Visualizations with Automated
Yvan Le Borgne will be giving a seminar. The title of his talk: "On classical and quantum walks in welded trees" – Part 2
The 2026 edition of MIMM (I’m a Computer Scientist – I’m a Mathematician) will take place this year from April 7 to 10, 2026. This event, aimed at
In the week from 16 to 20/09/24, the 12th international conference in the Highlights series, jointly organized with Jewels of Automata Theory (ex