Abs - Algorithms, Biology, Structure
Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
Airsea - mathematics and computing applied to oceanic and atmospheric flows
Alf - Amdahl's Law is Forever
Alice - Geometry and Lighting
Alpage - Large-scale deep linguistic processing
Alpines - Algorithms and parallel tools for integrated numerical simulations
Amib - Algorithms and Models for Integrative Biology
Ange - Numerical Analysis, Geophysics and Ecology
Antique - Static Analysis by Abstract Interpretation
Aoste - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Apics - Analysis and Problems of Inverse type in Control and Signal processing
Aramis - Algorithms, models and methods for images and signals of the human brain
Aric - Arithmetic and Computing
Asap - As Scalable As Possible: foundations of large scale dynamic distributed systems
Asclepios - Analysis and Simulation of Biomedical Images
Ascola - Aspect and composition languages
Aspi - Applications of interacting particle systems to statistics
Ateams - Analysis and Transformation based on rEliAble tool coMpositionS
Athena - Computational Imaging of the Central Nervous System
Atlanmodels - Modeling Technologies for Software Production, Operation, and Evolution
Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
Aviz - Analysis and Visualization
Ayin - Models of spatio-temporal structure for high-resolution image processing


Beagle - Artificial Evolution and Computational Biology
Bigs - Biology, genetics and statistics
Biocore - Biological control of artificial ecosystems
Bipop - Modelling, Simulation, Control and Optimization of Non-Smooth Dynamical Systems
Bonsai - Bioinformatics and Sequence Analysis


Cagire - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
Cairn - Energy-Efficient Computing Architectures
Camus - Compilation pour les Architectures MUlti-coeurS
Capsid - Computational Algorithms for Protein Structures and Interactions
Caramel - Cryptology, Arithmetic: Hardware and Software
Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
Carte - Theoretical adverse computations, and safety
Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Cassis - Combination of approaches to the security of infinite states systems
Castor - Control, Analysis and Simulations for TOkamak Research
Celtique - Software certification with semantic analysis
Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environment
Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
Clime - Coupling environmental data and simulation models for software integration
Coast - Web Scale Trustworthy Collaborative Service Systems
Coati - Combinatorics, Optimization and Algorithms for Telecommunications
Coffee - COmplex Flows For Energy and Environment
Comete - Concurrency, Mobility and Transactions
Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
Compsys - Compilation and embedded computing systems
Convecs - Construction of verified concurrent systems
Corse - Compiler Optimization and Run-time SystEms
Cqfd - Quality control and dynamic reliability
Crypt - Cryptanalyse
Ctrl-a - Control techniques for Autonomic, adaptive and Reconfigurable Computing systems


Dahu - Verification in databases
Dante - Dynamic Networks : Temporal and Structural Capture Approach
Decentralise - DÉCENTRALISÉ
Deducteam - Deduction modulo, interopérabilité et démonstration automatique
Defi - Shape reconstruction and identification
Defrost - Deformable Robotic Software
Demar - Artificial movement and gait restoration
Diana - Design, Implementation and Analysis of Networking Architectures
Dice - Data on the internet at the Core of the Economy
Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Disco - Dynamical Interconnected Systems in COmplex Environments
Diverse - Diversity-centric Software Engineering
Dolphin - Parallel Cooperative Multi-criteria Optimization
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dream - Diagnosing, Recommending Actions and Modelling
Dreampal - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Dyogene - Dynamics of Geometric Networks


Ecuador - Program transformations for scientific computing
Erable - European Research team in Algorithms and Biology, formaL and Experimental
Estasys - Efficient STAtistical methods in SYstems of systems
Eva - Wireless Networking for Evolving & Adaptive Applications
Ex-situ - Extreme Situated Interaction
Exmo - Computer mediated exchange of structured knowledge


Flowers - Flowing Epigenetic Robots and Systems
Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
Focus - Foundations of Component-based Ubiquitous Systems
Fun - self-organizing Future Ubiquitous Network


Galaad2 - Géométrie , Algèbre, Algorithmes
Galen - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
Gallium - Programming languages, types, compilation and proofs
Gamma3 - Automatic mesh generation and advanced methods
Gang - Networks, Graphs and Algorithms
Geco - Geometric Control Design
Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
Geometrica - Geometric Computing
Geostat - Geometry and Statistics in acquisition data
Grace - Geometry, arithmetic, algorithms, codes and encryption
Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
Graphik - GRAPHs for Inferences and Knowledge representation


Hephaistos - HExapode, PHysiology, AssISTance and RobOtics
Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
Hybrid - 3D interaction with virtual environments using body and mind
Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques


I4s - Statistical Inference for Structural Health Monitoring
Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
Ilda - Interacting with Large Data
Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
Indes - Secure Diffuse Programming
Infine - INFormation NEtworks
Inocs - Integrated Optimization with Complex Structure
Ipso - Invariant Preserving SOlvers


Kerdata - Scalable Storage for Clouds and Beyond


Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Larsen - Lifelong Autonomy and Interaction Skills for Robots in a Sensing Environment
Lear - Learning and recognition in vision
Lemon - Littoral, Environnement : Méthodes et Outils Numériques
Lfant - Lithe and fast algorithmic number theory
Lifeware - Computational systems biology and optimization
Linkmedia - Creating and exploiting explicit links between multimedia fragments
Links - Linking Dynamic Data


M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
Madynes - Management of dynamic networks and services
Maestro - Models for the performance analysis and the control of networks
Magique-3d - Advanced 3D Numerical Modeling in Geophysics
Magnet - Machine Learning in Information Networks
Magrit - Visual Augmentation of Complex Environments
Mamba - Modelling and Analysis for Medical and Biological Applications
Manao - Melting the frontiers between Light, Shape and Matter
Marelle - Mathematical, Reasoning and Software
Matherials - MATHematics for MatERIALS
Mathrisk - Mathematical Risk handling
Maverick - Models and Algorithms for Visualization and Rendering
Maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision
Mctao - Mathematics for Control, Transport and Applications
Memphis - Modeling Enablers for Multi-PHysics and InteractionS
Mephysto - Quantitative methods for stochastic models in physics
Mescal - Middleware efficiently scalable
Mexico - Modeling and Exploitation of Interaction and Concurrency
Mimesis - Computational Anatomy and Simulation for Medicine
Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
Mimove - Middleware on the Move
Mint - Methods and tools for gestural interactions
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Mjolnir - Computing tools to empower users
Mnemosyne - Mnemonic Synergy
Moais - PrograMming and scheduling design fOr Applications in Interactive Simulation
Modal - MOdel for Data Analysis and Learning
Modemic - Modeling and Optimisation of the Dynamics of Ecosystems with MICro-organisms
Mokaplan - Advances in Numerical Calculus of Variations
Monc - Modeling in Oncology
Morpheme - Morphologie et Images
Morpheo - Capture and Analysis of Shapes in Motion
Multispeech - Speech Modeling for Facilitating Oral-Based Communication
Muse - Measuring networks for enhancing USer Experience
Mutant - Synchronous Realtime Processing and Programming of Music Signals
Mycenae - Multiscale dYnamiCs in neuroENdocrine AxEs
Myriads - Design and Implementation of Autonomous Distributed Systems


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
Necs - Networked Controlled Systems
Neuromathcomp - Mathematical and Computational Neuroscience
Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
Non-a - Non-Asymptotic estimation for online systems
Numed - Numerical Medicine


Oak - Database optimizations and architectures for complex large data
Orpailleur - Knowledge discovery, knowledge engineering


Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
Parietal - Modelling brain structure, function and variability based on high-field MRI data.
Parkas - Parallélisme de Kahn Synchrone
Parsifal - Proof search and reasoning with logic specifications
Perception - Interpretation and Modeling of Images and Sounds
Phoenix - Programming Language Technology For Communication Services
Pi.r2 - Design, study and implementation of languages for proofs and programs
Pleiade - patterns of diversity and networks of function
Poems - Wave propagation: mathematical analysis and simulation
Polsys - Polynomial Systems
Popix - Modélisation en pharmacologie de population
Poset - Modèles pour la Programmation Structurée de l'Espace et du Temps
Postale - Performance Optimization by Software Transformation and Algorithms & Librairies Enhancement
Potioc - Popular interaction with 3d content
Prima - Perception, recognition and integration for modelling of activity
Privatics - Privacy Models, Architectures and Tools for the Information Society
Prosecco - Programming securely with cryptography


Quantic - QUANTum Information Circuits


Rap - Networks, Algorithms and Probabilities
Rapsodi - Reliable numerical approximations of dissipative systems
Realopt - Reformulation and Algorithms for Combinatorial Optimization
Regal - Large-Scale Distributed Systems and Applications
Reo - Numerical simulation of biological flows
Rits - Robotics & Intelligent Transportation Systems
Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement


Sage - Simulations and Algorithms on Grids for Environment
Scale - Safe Composition of Autonomous applications with Large-SCALE Execution environment
Secret - Security, Cryptology and Transmissions
Select - Model selection in statistical learning
Semagramme - Semantic Analysis of Natural Language
Sequel - Sequential Learning
Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
Sierra - Statistical Machine Learning and Parsimony
Sirocco - Analysis representation, compression and communication of visual data
Sistm - Statistics In System biology and Translational Medicine
Smis - Secured and Mobile Information Systems
Socrate - Software and Cognitive radio for telecommunications
Spades - Sound Programming of Adaptive Dependable Embedded Systems
Specfun - Symbolic Special Functions : Fast and Certified
Sphinx - System with physical heterogenities : inverse problems, numerical simulation, control and stabilization
Spirals - Self-adaptation for distributed services and large software systems
Stars - Spatio-Temporal Activity Recognition Systems
Steep - Sustainability transition, environment, economy and local policy
Storm - STatic Optimizations, Runtime Methods
Sumo - SUpervision of large MOdular and distributed systems


Tacoma - TAngible COMputing Architectures
Tadaam - Topology-Aware System-Scale Data Management for High-Performance Computing
Tao - Machine Learning and Optimisation
Tasc - Theory, Algorithms and Systems for Constraints
Tea - Time, Events and Architectures
Titane - Geometric Modeling of 3D Environments
Toccata - Formally Verified Programs, Certified Tools, Numerical Computations
Tonus - TOkamaks and NUmerical Simulations
Tosca - TO Simulate and CAlibrate stochastic models
Tyrex - Types and Reasoning for the Web


Urbanet - Réseaux capillaires urbains


Vegas - Effective Geometric Algorithms for Surfaces and Visibility
Veridis - Modeling and Verification of Distributed Algorithms and Systems
Virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotype
Visages - Vision, Action and information manaGement System in health


Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
Willow - Models of visual object recognition and scene understanding
Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics


Zenith - Scientific Data Management