Equipe-projet AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...
Equipe-projet OLAS Fondements opérationnels, logiques et algébriques des systèmes logiciels Le logiciel transforme de plus en plus notre vie quotidienne. Mais les applications deviennent aussi...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...