Recherche

S'appuyant sur une communauté de chercheurs et d'artistes, le SCRIME met à disposition de la communauté scientifique et culturelle une offre de
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
Responsable : Marthe Bonamy L'équité, la diversité et l'inclusion jouent des rôles importants dans le développement des connaissances de qualité
Pierre Dragicevic soutiendra sa HDR intitulée : « Visualisation de jeux de données simples pour la communication et la prise de décision».
Philippe Giraudeau soutiendra sa thèse intitulée : « Interactions tangibles et augmentées pour découvrir, comprendre et apprendre»
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
Ce guide s'adresse d'abord aux étudiants et (nouveaux) chercheurs du LaBRI pour leur donner les points d'accès principaux aux ressources documentaires
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
Antoine Pirrone soutiendra sa thèse intitulée : « Apprentissage profond auto-supervisé de métriques : application à la prédiction d'assemblage de
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et