Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet STACK Pile logicielle pour les infrastructures massivement géo distribuées L'équipe STACK s'attaque aux défis liés à la gestion et l'utilisation avancées des infrastructures...
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...
Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
Equipe-projet VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
Equipe-projet WIDE le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Les systèmes informatiques répartis atteignent aujourd'hui des niveaux d' échelle, de dynamisme et...
Equipe-projet AIRSEA Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques Les événements récents soulèvent des questions sur les impacts sociaux et économiques des...
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 AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet BEAGLE Artificial Evolution and Computational Biology La recherche de Beagle concerne la biologie computationnelle et l'évolution artificielle (génétique...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet BOREAL Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre...