Search

Aurélie Bugeau is a laureate of the IUF for the Innovation Chair. As a reminder: the IUF's mission is to promote the development of high-level
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
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
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.
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025

Chana Weil-Kennedy (CEA List) Title: Parameterized Verification of Distributed Systems Abstract: I am interested in verification of distributed

We introduce Sampled-Based Guided Quantum Walk (SamBa–GQW), a novel quantum algorithm for approximating solutions of binary combinatorial optimization

Save the date: 2021, November 26th for the LaBRI General Assembly and Party