Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Equipe-projet OURAGAN OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs L'équipe OURAGAN se concentre sur le transfert de méthodes de calcul algébriques vers quelques...
Equipe-projet PACAP Pushing Architecture and Compilation for Application Performance PACAP: Performance des Applications par la Compilation et l'Architecture des Processeurs En bref, l...