Recherche
Le calcul quantique distribué et ses applications Au cours de ce séminaire, je résumerai certains des résultats que j'ai obtenus au cours de ces
/Exposé en français/Talk in french/ Les Graphes Universels Isométriques, qui vont de pair avec les Distance Labeling, peuvent être utilisés pour
Responsable d'équipe : Aurélie Bugeau (adj. Gaël Guennebaud ) NeS est l'acronyme de « Numérique et Soutenabilité ». Cette équipe de recherche en
L’axe “Logique, Graphes, et Langages” (responsable Sylvain Lombardy) s’intéresse aux concepts fondamentaux de la théorie des langages que sont les
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
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) est l’événement annuel qui fédère la communauté de la bioinformatique française
[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