Recherche

L’ensemble des items précédemment cités trouvent un champs applicatif en biologie où l’analyse des données, et non leur production, est devenue le
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
Tous les départements du LaBRI ont des collaborations de recherche avec des industriels. Cette recherche partenariale se fait aussi bien avec des