Stochastic Methods and Models

• ALEA - Advanced Learning Evolutionary Algorithms
• ASPI - Applications of interacting particle systems to statistics
• CQFD - Quality control and dynamic reliability
• I4S - Statistical Inference for Structural Health Monitoring
• MATHRISK - Mathematical Risk handling
• REGULARITY - Probabilistic modelling of irregularity and application to uncertainties management
• TOSCA - TO Simulate and CAlibrate stochastic models

Computational models and simulation

• BACCHUS - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems
• CAD - Computer Aided Design
• CAGIRE - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
• CALVI - Scientific computation and visualization
• CASTOR - Control, Analysis and Simulations for TOkamak Research
• COFFEE - COmplex Flows For Energy and Environment
• CONCHA - Complex Flow Simulation Codes based on High-order and Adaptive methods
• DEFI - Shape reconstruction and identification
• GAMMA3 - Automatic mesh generation and advanced methods
• IPSO - Invariant Preserving SOlvers
• MC2 - Modeling, control and computations
• MICMAC - Methods and engineering of multiscale computing from atom to continuum
• NACHOS - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media
• NANO-D - Algorithms for Modeling and Simulation of Nanosystems
• OPALE - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
• POEMS - Wave propagation: mathematical analysis and simulation
• SCIPORT - Program transformations for scientific computing
• SIMPAF - SImulations and Modeling for PArticles and Fluids
• SMASH - Simulation, modeling and analysis of heterogeneous systems

Optimization, Learning and Statistical Methods

• CLASSIC - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
• DOLPHIN - Parallel Cooperative Multi-criteria Optimization
• GEOSTAT - Geometry and Statistics in acquisition data
• MISTIS - Modelling and Inference of Complex and Structured Stochastic Systems
• MODAL - MOdel for Data Analysis and Learning
• REALOPT - Reformulations based algorithms for Combinatorial Optimization
• SELECT - Model selection in statistical learning
• SEQUEL - Sequential Learning
• SIERRA - Statistical Machine Learning and Parsimony
• TAO - Machine Learning and Optimisation

Modeling, Optimization, and Control of Dynamic Systems

• APICS - Analysis and Problems of Inverse type in Control and Signal processing
• BIPOP - Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems
• COMMANDS - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
• CORIDA - Robust control of infinite dimensional systems and applications
• DISCO - Dynamical Interconnected Systems in COmplex Environments
• GECO - Geometric Control Design
• MAXPLUS - Max-plus algebras and mathematics of decision
• MCTAO - Mathematics for Control, Transport and Applications
• NECS - Networked Controlled Systems
• NON-A - Non-Asymptotic estimation for online systems

Programs, Verification and Proofs

• ABSTRACTION - Abstract Interpretation and Static Analysis
• ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
• CARTE - Theoretical adverse computations, and safety
• CASSIS - Combination of approaches to the security of infinite states systems
• CELTIQUE - Software certification with semantic analysis
• COMETE - Concurrency, Mobility and Transactions
• CONTRAINTES - Constraint programming
• DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
• FORMES - Formal Methods for Embedded Systems
• GALLIUM - Programming languages, types, compilation and proofs
• MARELLE - Mathematical, Reasoning and Software
• MEXICO - Modeling and Exploitation of Interaction and Concurrency
• MOSCOVA - Mobililty, security, concurrence, verification and analysis
• PAREO - Formal islands: foundations and applications
• PARSIFAL - Proof search and reasoning with logic specifications
• PI.R2 - Design, study and implementation of languages for proofs and programs
• PROSECCO - Programming securely with cryptography
• SECSI - Security of information systems
• TASC - Theory, Algorithms and Systems for Constraints
• TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TYPICAL - Types, Logic and computing
• VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

Algorithms, Certification, and Cryptography

• ALGORITHMS - Algorithms
• ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• CARAMEL - Cryptology, Arithmetic: Hardware and Software
• CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
• CRYPT - Cryptanalyse
• GALAAD - Geometry, algebra, algorithms
• GEOMETRICA - Geometric computing
• GRACE - Geometry, arithmetic, algorithms, codes and encryption
• LFANT - Lithe and fast algorithmic number theory
• OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
• POLSYS - Polynomial Systems
• SECRET - Security, Cryptology and Transmissions
• VEGAS - Effective Geometric Algorithms for Surfaces and Visibility

Embedded and Real Time Systems

• AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
• CONVECS - Construction of verified concurrent systems
• DART - contributions of the Data parallelism to real time
• ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
• MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
• PARKAS - Parallélisme de Kahn Synchrone
• POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
• S4 - System synthesis and supervision, scenarios
• TRIO - Real time and interoperability
• VERTECS - Verification models and techniques applied to testing and control of reactive systems

Architecture and Compiling

• ALF - Amdahl's Law is Forever
• CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
• CAMUS - Compilation pour les Architectures MUlti-coeurS
• COMPSYS - Compilation and embedded computing systems

Networks and Telecommunications

• DANTE - Dynamic Networks : Temporal and Structural Capture Approach
• DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
• DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
• DNET - Dynamic Networks
• FUN - self-organizing Future Ubiquitous Network
• GANG - Networks, Graphs and Algorithms
• HIPERCOM - High performance communication
• MADYNES - Management of dynamic networks and services
• MAESTRO - Models for the performance analysis and the control of networks
• MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
• PLANETE - Protocols and applications for the Internet
• RAP - Networks, Algorithms and Probabilities
• RESO - Protocols and softwares for very high-performance network
• SOCRATE - Software and Cognitive radio for telecommunications
• TREC - Theory of networks and communications
• URBANET - Réseaux capillaires urbains

Distributed Systems and Services

• ACES - Ambient computing and embedded systems
• ADAM - Adaptive Distributed Applications and Middleware
• ARLES - Software architectures and distributed systems
• ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
• ASCOLA - Aspect and composition languages
• ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
• CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
• FOCUS - Foundations of Component-based Ubiquitous Systems
• INDES - Secure Diffuse Programming
• LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
• MYRIADS - Design and Implementation of Autonomous Distributed Systems
• OASIS - Active objects, semantics, Internet and security
• PHOENIX - Programming Language Technology For Communication Services
• POPS - System and Networking for Portable Objects Proved to be Safe
• REGAL - Large-Scale Distributed Systems and Applications
• RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
• SARDES - System architecture for reflective distributed computing environments
• SCORE - Services and Cooperation
• TRISKELL - Reliable and efficient component based software engineering

Distributed and High Performance Computing

• ALGORILLE - Algorithms for the Grid
• AVALON - Architecture logicielle et algorithmique pour plateformes orientées service
• CEPAGE - Algorithmics for computationally intensive applications over wide scale distributed platforms
• GRAND-LARGE - Global parallel and distributed computing
• HIEPACS - High-End Parallel Algorithms for Challenging Numerical Simulations
• KERDATA - Scalable Storage for Clouds and Beyond
• MESCAL - Middleware efficiently scalable
• MOAIS - PrograMming and scheduling design fOr Applications in Interactive Simulation
• ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
• RUNTIME - Efficient runtime systems for parallel architectures

Vision, Perception and Multimedia Understanding

• AYIN - Stochastic models for remote sensing and skincare image processing
• IMEDIA2 - Images et multimédia : indexation, navigation et recherche
• LEAR - Learning and recognition in vision
• MAGRIT - Visual Augmentation of Complex Environments
• MORPHEO - Capture and Analysis of Shapes in Motion
• PERCEPTION - Interpretation and Modelling of Images and Videos
• PRIMA - Perception, recognition and integration for observation of activity
• SIROCCO - Analysis representation, compression and communication of visual data
• STARS - Spatio-Temporal Activity Recognition Systems
• TEXMEX - Multimedia content-based indexing
• WILLOW - Models of visual object recognition and scene understanding

Interaction and Visualization

• ALICE - Geometry and Lighting
• AVIZ - Analysis and Visualization
• IMAGINE - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
• IN-SITU - Situated interaction
• 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 - Methods and tools for gestural interactions
• POTIOC - Popular interaction with 3d content
• REVES - Rendering and virtual environments with sound
• VR4I - Virtual Reality for Improved Innovative Immersive Interaction

Knowledge and Data Representation and Management

• AXIS - Usage-centered design, analysis and improvement of information systems
• DAHU - Verification in databases
• DREAM - Diagnosing, Recommending Actions and Modelling
• EXMO - Computer mediated exchange of structured knowledge
• GRAVITE - Graph Visualization and Interactive Exploration
• MAIA - Autonomous intelligent machine
• MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
• OAK - Optimizations and Architectures for Complex large data
• ORPAILLEUR - Knowledge representation, reasonning
• SMIS - Secured and Mobile Information Systems
• TYREX - Types and reasoning for the web
• WAM - Web, adaptation and multimedia
• WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• ZENITH - Scientific Data Management

Robotics

• COPRIN - Constraints solving, optimization and robust interval analysis
• E-MOTION - Geometry and Probability for Motion and Action
• EVOLUTION - Embedded computer Vision sOLUTION
• FLOWERS - Flowing Epigenetic Robots and Systems
• IMARA - Informatics, Mathematics and Automation for La Route Automatisée
• LAGADIC - Visual servoing in robotics, computer vision, and augmented reality

Audio, Speech, and Language Processing

• ALPAGE - Large-scale deep linguistic processing
• METISS - Speech and sound data modeling and processing
• PAROLE - Analysis, perception and recognition of speech
• SEMAGRAMME - Semantic Analysis of Natural Language

Observation and Modeling for Environmental Sciences

• ANGE - Numerical Analysis, Geophysics and Ecology
• CLIME - Coupling environmental data and simulation models for software integration
• FLUMINANCE - Fluid Flow Analysis, Description and Control from Image Sequences
• MAGIQUE-3D - Advanced 3D Numerical Modeling in Geophysics
• MOISE - Modelling, Observations, Identification for Environmental Sciences
• POMDAPI - Environmental Modeling, Optimization and Programming Models
• SAGE - Simulations and Algorithms on Grids for Environment
• STEEP - Sustainability transition, environment, economy and local policy

Observation, Modeling, and Control for Life Sciences

• BANG - Nonlinear Analysis for Biology and Geophysical flows
• BIGS - Biology, genetics and statistics
• BIOCORE - Biological control of artificial ecosystems
• CARMEN - Modélisation et calculs pour l'électrophysiologie cardiaque
• DRACULA - Multi-scale modelling of cell dynamics : application to hematopoiesis
• MACS - Modeling, analysis and control in computational structural dynamics
• MASAIE - Tools and models of nonlinear control theory for epidemiology and immunology
• MODEMIC - Modelling and Optimisation of the Dynamics of Ecosystems with MICro-organisme
• NUMED - Numerical Medicine
• REO - Numerical simulation of biological flows
• SISYPHE - SIgnals and SYstems in PHysiology & Engineering
• VIRTUAL PLANTS - Modeling plant morphogenesis at different scales, from genes to phenotype

Computational Biology and Bioinformatics

• ABS - Algorithms, Biology, Structure
• AMIB - Algorithms and Models for Integrative Biology
• BAMBOO - An algorithmic view on genomes, cells, and environments
• BEAGLE - Artificial Evolution and Computational Biology
• BONSAI - Bioinformatics and Sequence Analysis
• DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
• GENSCALE - Scalable, Optimized and Parallel Algorithms for Genomics
• IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
• MAGNOME - Models and Algorithms for the Genome
• MORPHEME -
• SERPICO - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes

Computational Medicine and Neurosciences

• ARAMIS - Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique
• ASCLEPIOS - Analysis and Simulation of Biomedical Images
• ATHENA - Computational Imaging of the Central Nervous System
• CORTEX - Neuromimetic intelligence
• DEMAR - Artificial movement and gait restoration
• GALEN - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
• MNEMOSYNE - Mnemonic Synergy
• NEUROMATHCOMP - Mathematical and Computational Neuroscience
• ORCHESTRON - Orchestron : from neuronal rhythms to rhythmic brain functions
• PARIETAL - Modelling brain structure, function and variability based on high-field MRI data.
• SHACRA - Simulation in Healthcare using Computer Research Advances
• VISAGES - Vision, Action and information manaGement System in health