Recherche

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
Simon Labarthe (CR INRAe) Modeling the gut microbiota from metagenomic data.
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
Le papier de Vincent Delecroix et Oscar Fontaine, en collaboration avec Arnaud de Mesmay (LIGM Marne-la-Vallée), accepté à SoCG (Symposium on

Unifying view of physical ability metrics for humans, robots and their collaboration Antun Skuric Visio: https://u-bordeaux-fr.zoom.us/j/83483228567

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