Recherche

Jusqu’à présent, les méthodes d’Intelligence Artificielle (IA) n’arrivaient pas à extraire les nombreuses structures qui composent notre cerveau (plus
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
En fin de période estivale, du 28/08 au 01/09/2023, le département M2F organise le colloque MFCS – 48th International Symposium on Mathematical
Claire Hilaire soutiendra sa thèse intitulée : « Structure de graphes, mineurs et arbres induits»
Les projets primés dans le programme 80PRIME du CNRS sont destinés à soutenir et renforcer les recherches interdisciplinaires multi-équipes. Le projet

[Soutenance en anglais/Talk in english] Cette thèse traite des questions structurelles de la théorie des graphes qui découlent de motivations

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

Jenny Benois Pineau anime l’atelier « Explainable Deep learning/AI » au congrès IAPR IEEE ICPR’2021. En rapport avec le projet émergeant Explanable AI
À l'occasion de sa visite au LaBRI, Valerio Schiavoni fera un séminaire intitulé : «Lessons Learned In Building Trustworthy Systems with Trusted