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

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 »
2024 - 2023 - 2022 - 2021 - 2020 Thèses 02/12/2024 – Thibault Hilaire : « Algorithmes de couverture pour les réseaux de Petri certifiés en Coq»
C’est avec une grande tristesse que nous apprenons la disparition de Jean-Guy Penaud, ancien membre du LaBRI et de l’UF Info. Toutes nos pensées vont
La chaire Mobilité et Transports Intelligents organise la journée « (Cyber) sécurité et sureté des mobilités connectées » - mardi 10 mai à 11h
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