Search

In their article entitled: "Will an AI soon replace your psychiatrist?", Vincent Martin, post-doc at the LaBRI and Christophe Gauld, Child
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
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025
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
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.
Camille Benaroch (I&S department) will submit her thesis entitled: "Contribution to the understanding of BCI performance based on mental tasks using
Hip hip hip hurrah and victory for the French Rhoban team playing at home. It's a great revenge, as they clinch their 5th star with a score of five

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