Recherche
Présentation générale L’axe “ModélisationetVérification” s’intéresse à la modélisation, la vérification et le test des systèmes informatiques
Fabien LOTTE reçoit le prix Lovelace-Babbage de l'Académie des sciences en partenariat avec la SIF (Société informatique de France). En savoir plus en
Benoit Carré (auteur-compositeur) donnera un séminaire intitulé : « IA et création musicale, une exploration subjective par un musicien pop», le 19/03
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
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
Certains membres du LaBRI, impliqués dans l’IA, ont participé en janvier dernier, à la rencontre organisée avec l’institut de Waterloo.
Les projets primés dans le programme 80PRIME du CNRS sont destinés à soutenir et renforcer les recherches interdisciplinaires multi-équipes. Le projet
Le projet « Algorithmes d'approximation en temps quasi-polynomial pour certains problèmes d'optimisation de la conception de réseaux », porté par Ralf
Dans le cadre de vastes projets nationaux sur le thème de l’IA (au sens large), l’article fait un petit tour rapide d’horizon sur les recherches