Recherche
C’est à l’occasion du Forum Innovation Défense (porte de Versailles) que le LaBRI, en collaboration avec Thales DMS, présentera son travail sur le
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
Responsable d'équipe : Romain Bourqui (adj. Patricia Thébault) L’équipe Bench To Knowledge and Beyond (BKB) mène des recherches théoriques et
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