Search
At the 28th ISCC 2023 conference in July, Sabri Khamari received the "Best Student Short Paper & Poster Award".
Chana Weil-Kennedy (CEA List) Title: Parameterized Verification of Distributed Systems Abstract: I am interested in verification of distributed
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
We introduce Sampled-Based Guided Quantum Walk (SamBa–GQW), a novel quantum algorithm for approximating solutions of binary combinatorial optimization
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
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
If you wish, you can participate in the WISE 2025 workshop, organized remotely by Stella Bitchebe (McGill University).
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).
At the end of the summer period, from 2023, August 28th to September 01st, the M2F department is organising the MFCS - 48th International Symposium on