Recherche
Le 4ème webinaire des « Café science ouverte » 2026, se déroulera le 15/04/2026, de 12h30 à 13h. Le sujet portera sur : « Données de recherche
Rencontre, le 02/06/2023 de 10 à 12h (amphi LaBRI) avec l’entreprise Serma Technologies, et plus particulièrement avec Yoann Bodet, responsable d
Les assistants de preuves basés sur les types dépendants sont parmis les outils offrant les garanties les plus fortes sur la sécurité d'un logiciel
Les projets primés dans le programme 80PRIME du CNRS sont destinés à soutenir et renforcer les recherches interdisciplinaires multi-équipes. Le projet
Vincent Casamayou soutiendra sa thèse, le 12 décembre 2025 à 14h, dans la salle Ada Lovelace (Inria). L’intitulé de sa thèse est : « Exploration et
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et