Recherche
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
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
Comment marier l’animation 2D et 3D pour plus de créativé ? Telle est l’ambition du projet ANR MoStyle. Retrouver l’article et la video qui permettent
Fabien Lotte est lauréat 2022 du prix USERN (Universal Scientific Education and Research Network) dans la catégorie "Formal Science", pour son projet
La direction du LaBRI se félicite d’avoir accueilli au cours de cette année 2023, pas moins de 101 stagiaires. Fort d’une certaine visibilité et
Séminaire TAD
Sept start-ups en informatique sont issues directement de projets de recherche réalisés par des chercheurs du LaBRI. IQSPOT : Relève automatique et
Du 8 au 10 juin 2023, en partenariat avec le Forum des Arts et de la Culture de la ville de Talence, aura lieu la 1ère édition des Echappées
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