Search
Yvan Le Borgne will be giving a seminar. The title of his talk: "On classical and quantum walks in welded trees".
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems
Ivan Yakovlev will present his thesis entitled: "Metric ribbon graphs". It can be followed online, here.
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
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025
Philippe Gireaudeau will defend her thesis entitled: "Tangible and augmented interactions to discover, understand and learn"
As part of the Pedagogical Innovation GT, Aurélie Bugeau will give a seminar entitled "Computing and the environment: which lessons?"
Chana Weil-Kennedy (CEA List) Title: Parameterized Verification of Distributed Systems Abstract: I am interested in verification of distributed
Presentation on the software engineering issues involved in the development of the Coq proof assistant