Search
Fabien Lotte is the 2022 winner of the USERN (Universal Scientific Education and Research Network) award in the "Formal Science" category, for his
The objective of this collaborative handbook is to present the state of the art in graph games, which are part of a larger research topic called game
Each year, the CNRS rewards those who have contributed the most to its influence and to the progress of research.
Research axes of the COMET theme : Communication architectures Signalling protocols Routing algorithms Transport, control and management of
As part of the visit of the DAS (Scientific Assistant Directors) of the CNRS, on Wednesday March 1, 2023, Anne Siegel, DAS of the INS2I, will give a
Thibault Hilaire will present his thesis entitled “Coverability algorithms for Petri nets certified in Coq”.
The Graduate Program Numerics invites you to its seminar on societal issues & scientific culture related to digital technology. Second session
The Graduate Program Numerics invites you to its seminar on societal issues & scientific culture related to digital technology. Seventh session
Open ViBE is one of the world's leading software for encephalographic signal processing. The Ministry of Higher Education, Research and Innovation has
The research carried out at the LaBRI covers all areas of computer science: Algorithms, Architecture, Computation, Combinatorics, Complexity, Data