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
La thématique environnementale s’est structurée ces dernières années au LaBRI. Tout d’abord par la constitution d’un groupe de travail depuis 2019
Jean-Luc Rouas présentera ses travaux en vue de la soutenance à l’Habilitation à Diriger des Recherches. Intitulé de son HDR : « Contributions à l
L'objectif de ce manuel collaboratif est de présenter l'état de l'art sur les jeux sur graphes, qui font partie d'un sujet de recherche plus large
Responsable d'équipe : Réveillère Laurent L’équipe Progress mène une recherche sur le développement et la mise en oeuvre de systèmes logiciels
Le 16ème symposium FPS 2023 (Fondements et Pratiques de la Sécurité) aura lieu du 11 au 13/12/2023n à Bordeaux INP. Consulter l’annonce pour en savoir
Gabriel Bathie (département M2F, équipe LX et Syntèse) a reçu le prix du meilleur article à la 35ème Annual Symposium on Combinatorial Pattern
Léo Mendiboure, qui a soutenu sa thèse au LaBRI en 2020, vient d'obtenir l’un des 3 prix Abertis France qui récompense les meilleurs travaux de
Huy Dung Nguyen soutiendra sa thèse intitulée : « Apprentissage profond pour la prédiction des maladies neurologiques»
Conformément aux dispositions de l’article 6 III-1 de la loi n° 2004-575 du 21 juin 2004 pour la confiance dans l’économie numérique, le présent site