Recherche
Le LaBRI a de nombreux projets collaboratifs structurants dont certains d’entre eux couvrent plusieurs thématiques scientifiques (c’est le cas
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
** 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
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
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
https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have
Benjamin Hellouin donnera un séminaire, dont le sujet porte sur : « Mélange dans Hom shifts / reconfiguration des chemins dans les graphes »