Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, enanalyse de données, et...
Equipe-projet TADAAM Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance L'objectif du projet TADaaM est de concevoir et de construire une couche service à l'échelle du...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...
Equipe-projet TYREX Types and Reasoning for the Web Nous construisons les fondements de la prochaine génération de systèmes d'extraction d'information...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
Equipe-projet VIRTUS Nous, virtuels L'objectif principal de l'équipe VirtUs est de créer et de simuler des scènes virtuelles peuplées...
© Inria / Images G. Destombes Modélisation et Simulation Modélisation de la mécanique non régulière : une histoire à la française 10/07/2024
© Pixabay/ Photo V. Stefanov Modélisation et Simulation Les sciences du numérique à la conquête du ciel et de l’espace 20/06/2024
© Inria / Photo C. Morel Communication / Événement L'appel 2025 du programme "Équipes Associées" est lancé ! 08/07/2024
© AVIZ Visualisation de données Des données pour pimenter les vidéos de compétitions sportives 04/07/2024
11 juillet 2024 Communication / Événement Lancement officiel de l'institut hospitalo-universitaire VBHI à Bordeaux Lieu : Amphithéâtre Centre Broca Nouvelle-Aquitaine