Search
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal issues of the Digital Age, will take place in the LaBRI
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
The Chair Mobility and Intelligent Transport organizes the day "(Cyber) security and safety of connected mobilities" - Tuesday, May 10th at 11am
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
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
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
Led by Toufik Ahmed, University Professor at Bordeaux and researcher at LaBRI, in collaboration with Knocknock and ADACIS, with technical support from
The 16th FPS 2023 symposium (Foundations and Practices of Security) will take place from 2023, December 11 to 13th at Bordeaux INP. See the