Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts Des EDPs à la simulation numérique certifiée: ce projet a pour but de proposer une méthodologie...
Equipe-projet CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...