Recherche

L’ANSSI (Agence nationale de la sécurité des systèmes d'information) vient de certifier un troisième outil sécurisé de type Dropbox. Parsec, la
Le LaBRI a de nombreux projets collaboratifs structurants dont certains d’entre eux couvrent plusieurs thématiques scientifiques (c’est le cas

** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive

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

/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

Porté par Toufik Ahmed, professeur des universités à Bordeaux et chercheur au LaBRI, en collaboration avec Knocknock et ADACIS, avec le soutien
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
Faire tomber la barrière de la langue afin qu’un groupe de personnes ne parlant pas la même langue puisse avoir une conversation fluide, tel est l
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
Au cours de la conférence COMPAS 2025, le prix du meilleur poster a été décerné à Dimitri Walther, qui est en 1ère année de thèse dans l’équipe TOPAL