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 Rxperiments
• 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
• GAMMA3 - Génération automatique de maillages et méthodes avancées
• IPSO - Méthodes numériques préservant les invariants
• MATHERIALS - MATHematics for MatERIALS
• MEMPHIS - Modeling Enablers for Multi-PHysics and InteractionS
• MEPHYSTO - Méthodes quantitatives pour les modèles aléatoires de la physique
• 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 - Propagation des Ondes : Étude Mathématique et Simulation
• RAPSODI - Reliable numerical approximations of dissipative systems

Approches stochastiques

• ASPI - Applications statistiques des systèmes de particules en interaction
• CQFD - Contrôle de Qualité et Fiabilité Dynamique
• MATHRISK - Mathematical Risk handling
• TOSCA - Simuler et calibrer des modèles stochastiques

Optimisation, apprentissage et méthodes statistiques

• ANJA - ANJA
• DOLPHIN - Optimisation multi-critère parallèle coopérative
• 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
• 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
• TAO - thème Apprentissage et Optimisation

Optimisation et contrôle de systèmes dynamiques

• APICS - Analyse et problèmes Inverses pour le Contrôle et le Signal
• BIPOP - Modélisation, Simulation, Commande et Optimisation des Systèmes Dynamiques Non Réguliers
• 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
• GECO - Geometric Control Design
• 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 - Non-Asymptotic estimation for online systems
• QUANTIC - QUANTum Information Circuits
• SPHINX - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
• TROPICAL - TROPICAL

Preuves et vérification

• ANTIQUE - Analyse Statique par Interprétation Abstraite
• CELTIQUE - Certification de logiciel par analyse sémantique
• DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
• GALLIUM - Langages de programmation, types, compilation et preuves
• MARELLE - Mathématiques, Raisonnement et Logiciel
• MEXICO - Modeling and Exploitation of Interaction and Concurrency
• 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é

• CARTE - Théorie des calculs adverses, et sécurité
• COMETE - Concurrence, Mobilité et Transactions
• DICE - Données sur l'Internet au coeur de l'Economie
• PESTO - Proof techniques for security protocols
• 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 - Threat Analysis and Mitigation for Information Security

Algorithmique, calcul formel et cryptologie

• ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• 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 - Understanding the Shape of Data
• GALAAD2 - Géométrie , Algèbre, Algorithmes
• 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
• VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces

Systèmes embarqués et temps réel

• AOSTE - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
• CONVECS - Construction de systèmes concurrents vérifiés
• HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
• MUTANT - Synchronous Realtime Processing and Programming of Music Signals
• PARKAS - Parallélisme de Kahn Synchrone
• POSET - Modèles pour la Programmation Structurée de l'Espace et du Temps
• SPADES - Programmation de systèmes embarqués sûrs et adaptatifs
• TEA - Time, Events and Architectures

Architecture, langages et compilation

• ALF - La loi d'Amdahl est pour toujours
• CAIRN - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• CAMUS - Compilation pour les Architectures MUlti-coeurS
• COMPSYS - Compilation et systèmes embarqués de calcul
• CORSE - compiler optimization and run-time systems
• DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
• TASC - Theory, Algorithms and Systems for Constraints

Réseaux et télécommunications

• 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 - INFormation NEtworks
• MADYNES - Supervision des réseaux et services dynamiques
• MAESTRO - modèles pour l'analyse des performances et le contrôle des réseaux
• MUSE - Measuring networks for enhancing USer Experience
• RAP - Réseaux, algorithmes et probabilités
• SOCRATE - Radio logicielle et radio cognitive pour les télécommunication
• URBANET - Réseaux capillaires urbains

Systèmes distribués et intergiciels

• ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• ATLANMODELS - Modeling Technologies for Software Production, Operation, and Evolution
• CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
• COAST - Web Scale Trustworthy Collaborative Service Systems
• CTRL-A - Automatique pour l'informatique autonomique
• MIMOVE - Middleware on the Move
• MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
• REGAL - Répartition et gestion d'applications à large échelle
• SPIRALS - Self-adaptation for distributed services and large software systems
• WHISPER - Well Honed Infrastructure Software for Programming Environments and Runtimes

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 - Data Aware Large Scale Computing
• HIEPACS - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
• KERDATA - Scalable Storage for Clouds and Beyond
• POLARIS - Performance analysis and optimization of LARge Infrastructures and Systems
• ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
• STORM - STatic Optimizations, Runtime Methods
• TADAAM - Topology-Aware System-Scale Data Management for High-Performance Computing

Programmation distribuée et génie logiciel

• ASCOLA - Langages d'aspects et de composition
• DIVERSE - Diversity-centric Software Engineering
• FOCUS - Foundations of Component-based Ubiquitous Systems
• INDES - Programmation diffuse et sécurisée
• PHOENIX - Technologie des langages de programmation pour les services de communication
• RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
• TACOMA - TAngible COMputing Architectures

Vision, perception et interprétation multimedia

• AYIN - Models of spatio-temporal structure for high-resolution image processing
• 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 - Extreme Interaction
• 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
• MANAO - Melting the frontiers between Light, Shape and Matter
• MAVERICK - Modèles et Algorithmes pour la Visualisation et le Rendu
• MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
• MINT - Méthodes et outils pour l'interaction à gestes
• MJOLNIR - DES OUTILS INFORMATIQUES POUR ENCAPACITER LEURS UTILISATEURS
• 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 - CEDAR
• DAHU - Verification en bases de données
• EXMO - Echanges de connaissance structurée médiatisés par ordinateur
• GRAPHIK - Représentation de connaissances et raisonnements à base de graphes
• LACODAM - Large Scale Collaborative Data Mining
• LINKS - Linking Dynamic Data
• MAGNET - Machine Learning in Information Networks
• ORPAILLEUR - Représentation de connaissances, raisonnements
• SMIS - Systèmes d'informations sécurisés et mobiles
• TYREX - Types and Reasoning for the Web
• 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 dynamiques
• DEFROST - Deformable Robotic Software
• FLOWERS - Interactions, exploration et apprentissage en robotique développementale et sociale
• HEPHAISTOS - HExapode, PHysiologie, AssISTance et Objets de Service
• LAGADIC - Asservissement visuel en robotique, vision et animation
• LARSEN - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
• PERVASIVE INTERACTION - Pervasive Interaction
• RITS - Robotics & Intelligent Transportation Systems

Langue, parole et audio

• ALPAGE - Analyse linguistique profonde à grande échelle
• 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 Ecologie
• CASTOR - Control, Analysis and Simulations for TOkamak Research
• CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
• 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
• MYCENAE - Multiscale dYnamiCs in neuroENdocrine AxEs
• NUMED - Modélisation numérique en médecine
• REO - Simulation numérique d'écoulements biologiques

Biologie numérique

• ABS - Algorithmes et Biologie Structurale
• AMIB - Algorithmes et modèles pour la Biologie Intégrative
• 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
• PLEIADE - from patterns to models in computational biodiversity and biotechnology
• SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
• VIRTUAL PLANTS - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes

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
• ASCLEPIOS - Analyse et Simulation d'Images Biomédicales
• 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
• GALEN - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• 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
• SISTM - Statistics In System biology and Translational Medicine
• VISAGES - Vision, Action et Gestion d'informations en Santé
• XPOP - Modèles statistiques pour les sciences du vivant