Search
Noémie Kegl-Tourneix received the Young Researcher Award from the Francophone Association for Computer Music for the quality of her work and her
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Combinatorics is the study of discrete structures that appear in computer science, mathematics, statistical physics, biology, and indeed everywhere
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
Save the date: 2021, November 26th for the LaBRI General Assembly and Party
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