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
** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive
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
/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
A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
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
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
Porté par Toufik Ahmed, professeur des universités à Bordeaux et chercheur au LaBRI, en collaboration avec Knocknock et ADACIS, avec le soutien
Aurélie Bugeau est lauréate de l’IUF au titre de la chaire Innovation. Pour rappel : l'IUF a pour mission de favoriser le développement de la