Search
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems
The Flowers team at Inria is inviting Jay McClelland for a talk on Tuesday, October 3, at 10h30am. Talk: « Capturing Intelligence at the Level of
Department leader : Cyril Gavoille (assisted by Yvan Le Borgne) The CombAlgo department studies discrete objects from a structural point of view
In their article entitled: "Will an AI soon replace your psychiatrist?", Vincent Martin, post-doc at the LaBRI and Christophe Gauld, Child
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
From 2023, June 8 to 10th, at the Forum des Arts et de la Culture in Talence, the 1st edition of Echappées inattendues in New Aquitaine will take
Noémie Kegl-Tourneix received the Young Researcher Award from the Francophone Association for Computer Music for the quality of her work and her
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
The Graduate Program Numerics invites you to its seminar on societal issues & scientific culture related to digital technology. Sixth session