Liste des équipes-projets par domaines et thèmes de recherche

Approches stochastiques

• Ascii - Analyse d’interactions stochastiques intelligentes et coopératives
• Cqfd - Contrôle de Qualité et Fiabilité Dynamique
• Mathrisk - Mathematical Risk handling
• Simsmart - SIMulating Stochastic Models with pARTicles

Optimisation et contrôle de systèmes dynamiques

• Cage - Contrôle et géométrie
• Commands - Controle, Optimisation, modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
• Disco - Systèmes dynamiques interconnectés dans des environnements complexes
• Factas - Analyse fonctionnelle pour la conception et l'analyse de systèmes
• I4s - Inférence Statistique pour la Surveillance et la Sécurité des Structures
• Mctao - Mathématiques pour le Contrôle, le Transport et leurs Applications
• Quantic - QUANTum Information Circuits
• Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization
• Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
• Tropical - Méthodes tropicales: structures, algorithmes et interactions
• Valse - Contrôle en temps fini et estimation pour des systèmes distribués

Optimisation, apprentissage et méthodes statistiques

• Bonus - Optimisation de grande taille et calcul large échelle
• Celeste - Statistique mathématique et apprentissage
• Geostat - Géométrie et statistiques dans les données d'acquisition
• Inocs - Optimisation intégrée pour problèmes à structure complexe
• Maasai - Modèles et algorithmes pour l’intelligence artificielle
• Mistis - Modélisation et Inférence de phenomenes aléatoires complexes et structures
• Modal - MOdel for Data Analysis and Learning
• Randopt - Optimisation par algorithmes stochastiques
• Realopt - Reformulations et algorithmes pour l'Optimisation combinatoire
• Sequel - Sequential Learning
• Sierra - Apprentissage Statistique et Parcimonie
• Tau - IA : vers des problèmes mieux posés 

Schémas et simulations numériques

• Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
• Atlantis - Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée
• Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
• Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
• Defi - Détermination de Formes Et Identification
• Ecuador - Transformations et outils informatiques pour le calcul scientifique
• Elan - modELisation de l'Apparence des phénomènes Non-linéaires
• Gamma - Génération Adaptative de Maillage et Méthodes numériques Avancées
• Matherials - MATHematics for MatERIALS
• Memphis - Modèles et méthodes pour les problèmes multiphysiques et interactions
• Mingus - Schémas numériques géométriques multi-échelles
• Mokaplan - Avancées en calcul numérique des variations
• Poems - Propagation des Ondes : Etude Mathématique et Simulation
• Rapsodi - Approximations numériques fiables pour les systèmes dissipatifs

Algorithmique, calcul formel et cryptologie

• Aric - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• Aromath - Algebre geometrie Modelisation et Algorithmes
• Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
• Cascade - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
• Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
• Datashape - Comprendre la forme des données
• Gamble - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
• Grace - Geometry, arithmetic, algorithms, codes and encryption
• Lfant - Théorie algorithmique des nombres rapide et flexible
• Ouragan - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
• Specfun - Symbolic Special Functions : Fast and Certified

Architecture, langages et compilation

• Cairn - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• Camus - Compilation pour les Architectures MUlti-coeurS
• Cash - Compilation et Analyse, Logiciel et Matériel
• Corse - compiler optimization and run-time systems
• Pacap - Pushing Architecture and Compilation for Application Performance

Preuves et vérification

• Antique - Analyse Statique par Interprétation Abstraite
• Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
• Celtique - Certification de logiciel par analyse sémantique
• Convecs - Construction de systèmes concurrents vérifiés
• Deducteam - DEDUCTEAM
• Gallinette - Gallinette : vers une nouvelle génération d'assistant à la preuve
• Mexico - Modeling and Exploitation of Interaction and Concurrency
• Partout - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• Pi.r2 - Conception, étude et implémentation de langages pour les preuves et les programmes
• Stamp - Sûreté du logiciel et Preuves Mathématiques Formalisées
• Sumo - SUpervision of large MOdular and distributed systems
• Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
• Veridis - Modeling and Verification of Distributed Algorithms and Systems

Sécurité et confidentialité

• Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
• Pesto - Techniques de Preuves pour les Protocoles de Sécurité
• Privatics - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
• Prosecco - Programming securely with cryptography
• Tamis - Analyse de la menace et atténuation pour la sécurité des informations

Systèmes embarqués et temps réel

• Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• Kairos - Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
• Parkas - Parallélisme de Kahn Synchrone
• Spades - Programmation de systèmes embarqués sûrs et adaptatifs
• Tea - Time, Events and Architectures 

Calcul distribué et à haute performance

• Alpines - Algorithms and parallel tools for integrated numerical simulations
• Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
• Datamove - Mouvements de données pour le calcul haute performance
• Hiepacs - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
• Kerdata - Scalable Storage for Clouds and Beyond
• Polaris - Évaluation et optimisation des performances des grandes infrastructures
• Roma - - Optimisation des ressources : modèles, algorithmes et ordonnancement
• Storm - Optimisation statique, méthodes d’exécution
• Tadaam - Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance

Programmation distribuée et génie logiciel

• Diverse - Diversity-centric Software Engineering
• Ease - Solutions pour des environnements intelligents abordables
• Focus - Foundations of Component-based Ubiquitous Systems
• Indes - Programmation diffuse et sécurisée
• Rmod - Analyses et construction de langage pour l'évolution d'applications orientées Objet
• Stack - Pile logicielle pour les infrastructures massivement géo distribuées

Réseaux et télécommunications

• Agora - AlGorithmes et Optimisation pour Réseaux Autonomes
• Coati - Combinatoire, Optimisation et Algorithmes pour les Télécommunications
• Dante - Réseaux dynamiques : approche structurelle et temporelle
• Diana - Conception, Mise en oeuvre et Analyse d'Architectures Réseau
• Dionysos - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
• Dyogene - Dynamics of Geometric Networks
• Eva - Réseaux sans fil pour applications adaptatives et susceptibles d'évoluer
• Fun - self-organizing Future Ubiquitous Network
• Gang - Réseaux, graphes et algorithmes
• Maracas - Modèle et algorithmes pour des systèmes de communication fiables
• Neo - Ingénierie et Opérations des Réseaux
• Socrate - Radio logicielle et radio cognitive pour les télécommunication
• Tribe - Pour un Internet non-conventionnel

Systèmes distribués et intergiciels

• Coast - Web Scale Trustworthy Collaborative Service Systems
• Ctrl-a - Commande pour systèmes informatiques autonomiques
• Delys - Algorithmes et systèmes distribués
• Mimove - Middleware on the Move
• Myriads - Conception et mise en oeuvre de systèmes distribués autonomes
• Spirals - Self-adaptation for distributed services and large software systems
• Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
• Wide - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination

Interaction et visualisation

• Aviz - Analyse Visuelle
• Ex-situ - Interaction Située Extrême
• Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
• Hybrid - 3D interaction with virtual environments using body and mind
• Ilda - Interacting with Large Data
• Imagine - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
• Loki - Technologie et connaissance pour l'Interaction
• Manao - Melting the frontiers between Light, Shape and Matter
• Maverick - Modèles et Algorithmes pour la Visualisation et le Rendu
• Mfx - Informatique graphique pour la fabrication numérique
• Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
• Potioc - Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante
• Titane - Modélisation géométrique d'environnements 3D

Langue, parole et audio

• Almanach - Modélisation et analyse linguistique automatique et humanités computationnelles
• Multispeech - Speech Modeling for Facilitating Oral-Based Communication
• Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
• Semagramme - Analyse Sémantique de la Langue

Représentation et traitement des données et des connaissances

• Cedar - Analyse et traitement de données complexes à grande échelle
• Graphik - Représentation de connaissances et raisonnements à base de graphes
• Lacodam - Fouille de données collaborative à grande échelle
• Links - Requêtes pour données dynamiques liées
• Magnet - Machine Learning in Information Networks
• Moex - Evolution de la connaissance
• Orpailleur - Représentation de connaissances, raisonnements
• Petrus - Cloud personnel sécurisé
• Tyrex - Types and Reasoning for the Web
• Valda - Valeur à partir des donnés
• Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• Zenith - Gestion de données scientifiques 

Robotique et environnements intelligents

• Chroma - Robots coopératifs et adaptés à la présence humaine en environnements
• Defrost - Logiciels pour robots déformables
• Flowers - Interactions, exploration et apprentissage en robotique développementale et sociale
• Hephaistos - HExapode, PHysiologie, AssISTance et Objets de Service
• Larsen - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
• Pervasive - Interaction située avec les objets et environnements intelligents
• Rainbow - robotique interactive et référencée capteurs
• Rits - Robotics & Intelligent Transportation Systems

Vision, perception et interprétation multimédia

• Linkmedia - Creating and exploiting explicit links between multimedia fragments
• Morpheo - Capture et Analyses de Formes en Mouvement
• Sirocco - Analysis representation, compression and communication of visual data
• Stars - Spatio-Temporal Activity Recognition Systems
• Thoth - Apprentissage de modèles visuels à partir de données massives

Biologie numérique

• Abs - Algorithmes et Biologie Structurale
• Beagle - Artificial Evolution and Computational Biology
• Bigs - Biologie, génétique et statistiques
• Capsid - Computational Algorithms for Protein Structures and Interactions
• Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
• Erable - Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale
• Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
• Ibis - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
• Lifeware - Computational systems biology and optimization
• Morpheme - Morphologie et Images
• Mosaic - Simulation et Analyse de la morphogenèse in siliCo
• Pleiade - Patterns de diversité et réseaux de fonctions
• Serpico - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires

Modélisation et commande pour le vivant

• Biocore - Biological control of artificial ecosystems
• Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
• Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
• Dracula - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
• Inbio - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
• M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
• Mamba - Modelling and Analysis for Medical and Biological Applications
• Monc - Modélisation Mathématique pour l'Oncologie
• Numed - Modélisation numérique en médecine
• Sistm - Statistics In System biology and Translational Medicine
• Xpop - Modélisation statistique pour les sciences du vivant

Neurosciences et médecine numériques

• Aramis - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
• Athena - Imagerie computationnelle du système Nerveux Central
• Biovision - Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels
• Camin - Contrôle Artificiel de Mouvements et de Neuroprothèses Intuitives
• Empenn - Empenn
• Epione - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
• Mathneuro - Mathématiques pour les Neurosciences
• Mnemosyne - Mnemonic Synergy
• Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
• Opis - OPtimisation Imagerie et Santé
• Parietal - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ

Sciences de la planète, de l'environnement et de l'énergie

• Airsea - Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques
• Ange - Analyse Numérique, Géophysique et Environnement
• Castor - Control, Analysis and Simulations for TOkamak Research
• Coffee - COmplex Flows For Energy and Environment
• Fluminance - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
• Lemon - Littoral, Environnement, Modèles et Outils Numériques
• Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• Steep - Soutenabilité, Territoires, Environnement, Economie et Politique
• Tonus - Simulations numériques et TOkamaks