Recherche
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
Le 23 avril au matin, le département SIN met à l’honneur les lauréats de prix et programmes obtenus en 2025.
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
Aurélie Bugeau, en compagnie de Clément Marquet, Gianluca Marzilli, Yann Pennec et Raphaël Roge, animeront la table ronde sur le thème de « IA
Certains membres du LaBRI, impliqués dans l’IA, ont participé en janvier dernier, à la rencontre organisée avec l’institut de Waterloo.
Laércio Lima Pilla soutiendra sa HDR, le 13 mai 2026 à 09h30, dans la salle Ada Lovelace (Inria. L’intitulé de ses travaux : “Scheduling Everything
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