Schémas et simulations numériques

• ACUMES - Analysis and Control of Unsteady Models for Engineering Sciences
• 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
• GAMMA3 - Génération automatique de maillages et méthodes avancées
• MATHERIALS - MATHematics for MatERIALS
• MEMPHIS - Modèles et méthodes pour les problèmes multiphysiques et interactions
• MEPHYSTO-POST - Méthodes quantitatives pour les modèles aléatoires de la physique
• MINGUS - Multi-scale numerical geometric schemes
• MOKAPLAN - Avancées en calcul numérique des variations
• NACHOS - Modélisation numérique et calcul intensif pour des problèmes d'évolution en domaines complexes et milieux hétérogènes
• NANO-D - Algorithmes pour la Modélisation et la Simulation de Nanosystèmes
• POEMS-POST - Propagation des Ondes: Etude Mathématique et Simulation
• RAPSODI - Approximations numériques fiables pour les systèmes dissipatifs

Approches stochastiques

• CQFD - Contrôle de Qualité et Fiabilité Dynamique
• MATHRISK - Mathematical Risk handling
• SIMSMART - SIMulation pARTiculaire de Modèles Stochastiques
• TOSCA - Simuler et calibrer des modèles stochastiques

Optimisation, apprentissage et méthodes statistiques

• BONUS - Optimisation de grande taille et calcul large échelle
• GEOSTAT - Géométrie et statistiques dans les données d'acquisition
• INOCS - Integrated Optimization with Complex Structure
• MISTIS - Modélisation et Inférence de phenomenes aléatoires complexes et structures
• MODAL - MOdel for Data Analysis and Learning
• RANDOPT - Randomized Optimisation
• REALOPT - Reformulations et algorithmes pour l'Optimisation combinatoire
• SELECT - Sélection de modèles en apprentissage statistique
• SEQUEL - Sequential Learning
• SIERRA - Apprentissage Statistique et Parcimonie
• TAU - TAckling the Underspecified

Optimisation et contrôle de systèmes dynamiques

• CAGE - Control And GEometry
• 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
• NECS - Systèmes Commandés en Réseau
• NON-A POST - Non-Asymptotic estimation for online systems
• QUANTIC - QUANTum Information Circuits
• SPHINX - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• TRIPOP - Modélisation, simulation et commande des systèmes dynamiques non lisses
• TROPICAL - Méthodes tropicales: structures, algorithmes et interactions

Preuves et vérification

• ANTIQUE - Analyse Statique par Interprétation Abstraite
• 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
• GALLIUM - Langages de programmation, types, compilation et preuves
• MARELLE - Mathématiques, Raisonnement et Logiciel
• MEXICO - Modeling and Exploitation of Interaction and Concurrency
• MOCQUA - Designing the Future of Computational Models
• PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
• PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
• 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
• COMETE - Concurrence, Mobilité et Transactions
• DATASPHERE - Economie des données et des plateformes
• 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

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
• DATASHAPE - Comprendre la forme des données
• GAIA - Géométrie, Algèbre, Informatique, Applications
• 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 pour la Géométrie et ses ApplicatioNs
• POLSYS - Polynomial Systems
• SECRET - Sécurité, Cryptologie et Transmissions
• SPECFUN - Symbolic Special Functions : Fast and Certified

Systèmes embarqués et temps réel

• AOSTE2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
• HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• KAIROS - Logical Time for Formal Embedded System Design
• PARKAS - Parallélisme de Kahn Synchrone
• SPADES - Programmation de systèmes embarqués sûrs et adaptatifs
• TEA - Time, Events and Architectures

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

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
• INFINE-POST - INFormation NEtworks
• NEO - Ingénierie et Opérations des Réseaux
• RESIST - Resilience and Elasticity for Security and ScalatiliTy of dynamic networked systems
• SOCRATE - Radio logicielle et radio cognitive pour les télécommunication

Systèmes distribués et intergiciels

• COAST - Web Scale Trustworthy Collaborative Service Systems
• CTRL-A - Commande pour systèmes informatiques autonomiques
• DELYS - Algorithmes pour 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
• STACK - Software Stack for Massively Geo-Distributed Infrastructures
• 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

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 - Enabling Affordable Smarter Environment
• FOCUS - Foundations of Component-based Ubiquitous Systems
• INDES - Programmation diffuse et sécurisée
• PHOENIX-POST - Technologie des langages de programmation pour les services de communication
• RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet

Vision, perception et interprétation multimedia

• LINKMEDIA - Creating and exploiting explicit links between multimedia fragments
• MAGRIT - Augmentation visuelle d'environnements complexes
• MORPHEO - Capture et Analyses de Formes en Mouvement
• PERCEPTION - Interprétation et Modélisation d'Images et de Vidéos
• 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
• WILLOW - modèles de la reconnaissance visuelle d'objets et de scènes

Interaction et visualisation

• ALICE - Géometrie et Lumière
• 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 - Matter From Graphics
• MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
• POTIOC - Popular interaction with 3d content
• TITANE - Modélisation géométrique d'environnements 3D

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

• AUCTUS - Augmenter l'humain par CoboT pour n Usage en Symbiose
• CHORALE - Robots collaboratifs et hétérogènes interagissant dans des environnements vivants
• 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

Langue, parole et audio

• ALMANACH - Automatic Language Modelling and ANAlysis & Computational Humanities
• COML - Apprentissage machine cognitif
• 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

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 : Méthodes et Outils Numériques
• MAGIQUE-3D - Modélisation Avancée en GéophysIQUE 3D
• SERENA - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
• STEEP - Soutenabilité, Territoires, Environnement, Economie et Politique
• TONUS - TOkamaks and NUmerical Simulations

Modélisation et commande pour le vivant

• BIOCORE - Biological control of artificial ecosystems
• CARMEN - Modélisation et calculs pour l'électrophysiologie cardiaque
• DRACULA - Modélisation multi-échelle des dynamiques cellulaires : application à l'hématopoïese
• 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
• REO - Simulation numérique d'écoulements biologiques
• SISTM - Statistics In System biology and Translational Medicine
• XPOP - Modélisation statistique pour les sciences du vivant

Biologie numérique

• ABS - Algorithmes et Biologie Structurale
• BEAGLE - Artificial Evolution and Computational Biology
• BIGS - Biologie, génétique et statistiques
• BONSAI - Bioinformatics and Sequence Analysis
• 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 - from patterns to models in computational biodiversity and biotechnology
• SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
• TAPDANCE - Theory and Practice of Nanoscale Computing Engines

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 - Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
• CAMIN - Control of Artificial Movement & Intuitive Neuroprosthesis
• EPIONE - E-Patient : Images, données & mOdèles pour la médeciNe numériquE
• GALEN-POST - Images, modèles et algorithmes pour la médecine et les neurosciences
• MATHNEURO - Mathématiques pour les Neurosciences
• MIMESIS - Computational Anatomy and Simulation for Medicine
• MNEMOSYNE - Mnemonic Synergy
• NEUROSYS - Analysis and modeling of neural systems by a system neuroscience approach
• PARIETAL - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
• VISAGES - Vision, Action et Gestion d'informations en Santé