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
Rencontre, le 02/06/2023 de 10 à 12h (amphi LaBRI) avec l’entreprise Serma Technologies, et plus particulièrement avec Yoann Bodet, responsable d
Certains membres du LaBRI, impliqués dans l’IA, ont participé en janvier dernier, à la rencontre organisée avec l’institut de Waterloo.
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
C’est à l’occasion du Forum Innovation Défense (porte de Versailles) que le LaBRI, en collaboration avec Thales DMS, présentera son travail sur le
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