Recherche
Quantum physics and chemistry have provided well-recognized theoretical tools to predict the behavior of molecules and materials described by the
Unifying view of physical ability metrics for humans, robots and their collaboration Antun Skuric Visio: https://u-bordeaux-fr.zoom.us/j/83483228567
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
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 »
Cindy Becher (département I&S) soutiendra sa thèse intitulée : « Désambiguïsation de la visualisation et de la manipulation d'objets 3D virtuels
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
David Trocellier soutiendra sa thèse, le 29 septembre 2025 à 9h, Salle Ada Lovelace (Inria). L’intitulé de sa thèse est : "Réhabilitation motrice Post