Search
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
Chana Weil-Kennedy (CEA List) Title: Parameterized Verification of Distributed Systems Abstract: I am interested in verification of distributed
On November 20th, at 2pm (amphi LaBRI), Loann Giovannangeli will present his thesis: « Generation and Evaluation of Visualizations with Automated
We introduce Sampled-Based Guided Quantum Walk (SamBa–GQW), a novel quantum algorithm for approximating solutions of binary combinatorial optimization
The axis "Logic, Graphs, and Languages" (leader Sylvain Lombardy) is interested in the fundamental concepts of language theory such as grammars
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal issues of the Digital Age, will take place in the LaBRI
Myriam Lopez, I&S department (TAD team), will submit her thesis entitled: "Critical error prediction in an industrial application"
A major event bringing together Inria, the IMB and the LaBRI in a festive and convivial event. Date: June 16th Place: car park and lawn in front of
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