Search

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

Save the date: 2021, November 26th for the LaBRI General Assembly and Party
Event bringing together the staff of Inria, the IMB and the LaBRI for lunch and an afternoon of games. Date: June 16th - Location: car park and lawn
At the 28th ISCC 2023 conference in July, Sabri Khamari received the "Best Student Short Paper & Poster Award".
Invitation to the 3rd webinar in the “Cafés Science Ouverte” series - one of five 30-minute events on open science organized by the University of
An AI detects the first signs of multiple sclerosis. The aim of this research is to gain a better understanding of how the disease develops, but also
If you wish, you can participate in the WISE 2025 workshop, organized remotely by Stella Bitchebe (McGill University).
The Rhoban team has not demerited and has reached the second place of the podium, at the Robocup 2022 held last July in Thailand. Congratulations to
Heads of departement : Hugo Gimbert and Antoine Rollet Research in the M2F department encompasses several topics, including the foundations of formal
Presentation of the MATh.en.JEANS workshops on Saturday 2022, May 14th, from 10am, at the IMB (Building A33).