Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team TRIBE inTeRnet BEyond the usual The TRiBE (inTeRnet BEyond the usual) is a research team of Inria Saclay – Ile de France, located at...
Project-team VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...
Industry of the Future Ayana, an exploratory action to support the future of space exploration 01/07/2024
© Inria/Photo G. Scagnelli Environment and planet Towards a more sustainable energy future: the scientific challenges facing the Inria Centre at the University of Bordeaux 07/06/2024
© Adobe Stock Security & Privacy Adult websites: protecting minors and adults’ identities at the same time 19/06/2024
29 July – 2 August 2024 Communication - Event EURASIP - IEEE SPS Summer School on Remote Sensing and Microscopy Image Processing Location : University of Pannonia
© Institute for Economics Peace Digital and environment Harnessing the Edge-Cloud Continuum for Urgent Computing 13/06/2024
© Inria / Photo B. Fourrier Health - Personalised Healthcare Returning to sport after concussion: science to help doctors 17/06/2024