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...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...