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
Guillaume Lagarde a été désigné par le Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation (MESRI) pour travailler aux côtés d
A l’aube de la 9ème édition du salon Vivatech 2025 (Paris, du 11 au 14 juin 2025), pourquoi ne pas faire un petit retour en images de l’édition
Chaque année le CNRS récompense celles et ceux qui ont le plus contribué à son rayonnement et à l’avancée de la recherche.
La thématique environnementale s’est structurée ces dernières années au LaBRI. Tout d’abord par la constitution d’un groupe de travail depuis 2019
Paul Lascabettes, post-doctorant à l'Université de Strasbourg, donnera un séminaire intitulé : « Une approche pour la découverte de motifs musicaux
Warren Jouanneau, département I&S (équipe TAD), soutiendra sa thèse intitulée : "Identification de vêtements dans des images : de la segmentation d
Certains membres du LaBRI, impliqués dans l’IA, ont participé en janvier dernier, à la rencontre organisée avec l’institut de Waterloo.
Le séminaire NUMERICS, séminaire transdisciplinaire sur la culture scientifique et les enjeux sociétaux du Numérique, aura lieu dans l’amphi du LaBRI
Financement FEDER de la plateforme LSD (Lab In The Sky with Data)