Recherche
Le LaBRI a de nombreux projets collaboratifs structurants dont certains d’entre eux couvrent plusieurs thématiques scientifiques (c’est le cas
Aurélie Bugeau est co-autrice de la publication d'un livre en collaboration avec l'université de Cambridge, le Fitzwilliam Museum (Cambridge) et l
** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive
A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting
/Exposé /Talk/ Let G be a bridgeless cubic graph. Recently, in collaboration with Edita Máčajová and Jean Paul Zerafa, we have solved a conjecture
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
Pierre Bonnet soutiendra sa thèse, le 10 février 2026 à 10h, dans l’amphi du LaBRI. L’intitulé de sa thèse est : « La longue marche à travers le quart
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
Porté par Toufik Ahmed, professeur des universités à Bordeaux et chercheur au LaBRI, en collaboration avec Knocknock et ADACIS, avec le soutien
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés