Search
Presentation of the research directorate Proof assistants are particularly useful in the verification of hardware or software components for
Who hasn't dreamed of diving into the memory of the oceans, playing soccer with robots, or discovering the secrets of industrial espionage? The CNRS
Start and participation of several members of SATANAS department in the PEPR NumPEx. This program, co-piloted by CNRS, CEA and Inria, is financed in
The Chair Mobility and Intelligent Transport organizes the day "(Cyber) security and safety of connected mobilities" - Tuesday, May 10th at 11am
Seven IT start-ups are the direct result of research projects carried out by LaBRI researchers. IQSPOT : Automatic reading and real-time analysis of
Head department: Pierre Ramet The SATANAS department contributes to the design and development of robust and high-performance simulation tools for
Cindy Becher will submit her thesis entitled: "Disambiguation of the visualization and manipulation of occluded virtual 3D objects in Augmented
The Chair Mobility and Intelligent Transport organizes the day "(Cyber) security and safety of connected mobilities" - Tuesday, May 10th at 11am
The revolution linked to artificial intelligence in image, video and sound processing has greatly modified the techniques developed within our team
Presentation The methods of logic and language theory are applied to graphs and other combinatorial objects such as maps that formalize graph drawings