Recherche

Anne Bisagni-Faure, rectrice de l’académie Nouvelle Aquitaine a remis à l’occasion de la cérémonie de la rentrée de l’université (en octobre dernier)
Thinhinane Yebda soutiendra sa thèse intitulée : « Reconnaissance des situations à risques de la vie quotidienne des personnes fragiles. Analyse
Face aux différentes menaces, le projet Pandrone, alliant les compétences en matière de drone, robotique et intelligence artificielle, a pour ambition
Le workshop de l’ANR QuDATA (Quantum Algorithms for Massive Data) autour de l'informatique quantique se déroule en ce moment au LaBRI. Constitué de
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
Fabien LOTTE reçoit le prix Lovelace-Babbage de l'Académie des sciences en partenariat avec la SIF (Société informatique de France). En savoir plus en
Benoit Carré (auteur-compositeur) donnera un séminaire intitulé : « IA et création musicale, une exploration subjective par un musicien pop», le 19/03
Rencontre, le 02/06/2023 de 10 à 12h (amphi LaBRI) avec l’entreprise Serma Technologies, et plus particulièrement avec Yoann Bodet, responsable d

Les assistants de preuves basés sur les types dépendants sont parmis les outils offrant les garanties les plus fortes sur la sécurité d'un logiciel

Le 4ème webinaire des « Café science ouverte » 2026, se déroulera le 15/04/2026, de 12h30 à 13h. Le sujet portera sur : « Données de recherche