Recherche

Dans un article du journal La Recherche, décryptage de Nathanaël Fijalkow sur le thème « DeepSeek : quand une IA découvre comment raisonner »

HAL

Comment déposer une publication dans HAL ? Il faut évidemment avoir un compte dans HAL : pour en créer un, se rendre sur le site de HAL, onglet "Dépôt
Responsables de département : Hugo Gimbert and Antoine Rollet Les thèmes de recherche du département incluent les fondements des méthodes formelles
Orateur : Mathieu Raffinot CR CNRS Titre : Algorithme BNDM
S'appuyant sur une communauté de chercheurs et d'artistes, le SCRIME met à disposition de la communauté scientifique et culturelle une offre de
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés
Responsable : Marthe Bonamy L'équité, la diversité et l'inclusion jouent des rôles importants dans le développement des connaissances de qualité
Pierre Dragicevic soutiendra sa HDR intitulée : « Visualisation de jeux de données simples pour la communication et la prise de décision».
Philippe Giraudeau soutiendra sa thèse intitulée : « Interactions tangibles et augmentées pour découvrir, comprendre et apprendre»
Benjamin Bach soutiendra sa HDR intitulée : « Comprendre les données, une visualisation à la fois : Formes, outils et compétences pour l'exploration