Recherche

Elsa Claude soutiendra sa thèse intitulée : « Développement d’une approche hybride ensembliste de sélection de variables pour l’élaboration d’un atlas
Présentation des ateliers MATh.en.JEANS samedi 14/05/2022, à partir de 10h, à l’IMB (Bât A33).
L'intelligence artificielle est la rencontre entre des méthodes et des problèmes. Les méthodes se basent sur des fondements théoriques solides tels

Razvan est de l'IMB. Le projet HQI (France 2030, piloté par J.-C. Lafoucrière (CEA) Dans cet exposé, nous utilisons la présentation du projet Hybrid

Responsable d'équipe : Aurélie Bugeau (adj. Gaël Guennebaud ) NeS est l'acronyme de « Numérique et Soutenabilité ». Cette équipe de recherche en
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
Maudeline Marlier soutiendra sa thèse (co-tutelle avec Inria Saclay), le 03 mars 2024 à 14h, en salle Ada Lovelace (Inria). L’intitulé de sa thèse est
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