Recherche
Présentation Les méthodes de la logique et de la théorie des langages sont appliquées aux graphes et à d'autres objets combinatoires tels que les
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
HDR de Jean-Luc Rouas : « Contributions à l'analyse de parole : aspects acoustiques et prosodiques »
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
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
Responsable d'équipe : Thomas Degueule Adjoint : Romain Robbes L’équipe Progress mène une recherche sur le développement et la mise en oeuvre de
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»
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