Recherche

Chaque année le CNRS récompense celles et ceux qui ont le plus contribué à son rayonnement et à l’avancée de la recherche. La médaille de bronze
Qui n’a jamais rêvé de se plonger dans la mémoire des océans, de jouer au football avec des robots, ou encore de découvrir les secrets de l’espionnage

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

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
L'étude des réseaux dynamiques a suscité un intérêt croissant au cours des dernières années, motivée principalement par les contextes technologiques