Recherche

Porté par Toufik Ahmed, professeur des universités à Bordeaux et chercheur au LaBRI, en collaboration avec Knocknock et ADACIS, avec le soutien

/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

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
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
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
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 »
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