Search

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
Camille Benaroch (I&S department) will submit her thesis entitled: "Contribution to the understanding of BCI performance based on mental tasks using

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

A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting

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
Even though the Tulip project is getting a bit old, but is still very active, Tulip has just received a few awards from SourceForge.
Adnane Khattabi, CombAlgo department (AlgoDist team), will submit his thesis entitled: "On Improving the Complexity of Linearizable and Wait-free