Search
As part of the Pedagogical Innovation GT, Aurélie Bugeau will give a seminar entitled "Computing and the environment: which lessons?"
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 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
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems
Noémie Kegl-Tourneix received the Young Researcher Award from the Francophone Association for Computer Music for the quality of her work and her
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