Recherche
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
Séminaire de Stefano Zacchiroli, un des fondateurs de Software Heritage. Intitulé de sa présentation : « Patrimoine logiciel : Recherche à grande
Responsable d'équipe : Réveillère Laurent L’équipe Progress mène une recherche sur le développement et la mise en oeuvre de systèmes logiciels
Présentation générale L’axe “ModélisationetVérification” s’intéresse à la modélisation, la vérification et le test des systèmes informatiques