Abs - Algorithms, Biology, Structure
Abstraction - Abstract Interpretation and Static Analysis
Aces - Ambient computing and embedded systems
Adam - Adaptive Distributed Applications and Middleware
Alea - Advanced Learning Evolutionary Algorithms
Alf - Amdahl's Law is Forever
Algorille - Algorithms for the Grid
Alice - Geometry and Lighting
Alpage - Large-scale deep linguistic processing
Amib - Algorithms and Models for Integrative Biology
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
Aric - Arithmetic and Computing
Arles - Software architectures and distributed systems
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
Atlanmod - Modeling Technologies for Software Production, Operation, and Evolution
Avalon - Algorithms and Software Architectures for Parallel and Distributed Systems
Aviz - Analysis and Visualization
Axis - Usage-centered design, analysis and improvement of information systems
Ayin - Stochastic models for remote sensing and skincare image processing


Bacchus - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems
Bamboo - An algorithmic view on genomes, cells, and environments
Bang - Nonlinear Analysis for Biology and Geophysical flows
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
Bymoore - Beyond Moore


Cad - Computer Aided Design
Cagire - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
Cairn - Energy Efficient Computing Architectures
Calvi - Scientific computation and visualization
Camus - Compilation pour les Architectures MUlti-coeurS
Caramel - Cryptology, Arithmetic: Hardware and Software
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
Cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms
Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
Classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
Clime - Coupling environmental data and simulation models for software integration
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
Concha - Complex Flow Simulation Codes based on High-order and Adaptive methods
Contraintes - Constraint programming
Convecs - Construction of verified concurrent systems
Coprin - Constraints solving, optimization and robust interval analysis
Corida - Robust control of infinite dimensional systems and applications
Cortex - Neuromimetic intelligence
Cqfd - Quality control and dynamic reliability


Dahu - Database and verification
Dante - Dynamic Networks : Temporal and Structural Capture Approach
Dart - Contributions of the Data Parallelism to Real Time
Deducteam - Deduction modulo, interopérabilité et démonstration automatique
Defi - Shape reconstruction and identification
Demar - Artificial movement and gait restoration
Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Disco - Dynamical Interconnected Systems in COmplex Environments
Distribcom - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
Dolphin - Parallel Cooperative Multi-criteria Optimization
Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
Dream - Diagnosing, Recommending Actions and Modelling
Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences


E-motion - Geometry and Probability for Motion and Action
Espresso - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
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
Formes - Formal Methods for Embedded Systems
Fun - self-organizing Future Ubiquitous Network


Galaad - Geometry, algebra, algorithms
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
Grand-large - Global parallel and distributed computing
Graphik - GRAPHs for Inferences and Knowledge representation


Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
Hipercom - High performance communication


I4s - Statistical Inference for Structural Health Monitoring
Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
Imara - Informatics, Mathematics and Automation for La Route Automatisée
Imedia2 - Images et multimédia : indexation, navigation et recherche
In-situ - Situated interaction
Indes - Secure Diffuse Programming
Ipso - Invariant Preserving SOlvers


Kerdata - Scalable Storage for Clouds and Beyond


Lagadic - Visual servoing in robotics, computer vision, and augmented reality
Lear - Learning and recognition in vision
Lfant - Lithe and fast algorithmic number theory
Lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems


Macs - Modeling, analysis and control in computational structural dynamics
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
Magnome - Models and Algorithms for the Genome
Magrit - Visual Augmentation of Complex Environments
Maia - Autonomous intelligent machine
Manao - Melting the frontiers between Light, Shape and Matter
Marelle - Mathematical Reasoning and Software
Masaie - Tools and models of nonlinear control theory for epidemiology and immunology
Mascotte - Algorithms, simulation, combinatorics and optimization for telecommunications
Mathrisk - Mathematical Risk handling
Maverick - Modèles et Algorithmes pour la Visualisation et le Rendu
Maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision
Mc2 - Modeling, control and computations
Mctao - Mathematics for Control, Transport and Applications
Mescal - Middleware Efficiently SCALable
Metiss - Speech and sound data modeling and processing
Mexico - Modeling and Exploitation of Interaction and Concurrency
Micmac - Methods and engineering of multiscale computing from atom to continuum
Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
Mint - Methods and tools for gestural interactions
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
Mnemosyne - Mnemonic Synergy
Moais - PrograMming and scheduling design fOr Applications in Interactive Simulation
Modal - MOdel for Data Analysis and Learning
Modemic - Modelling and Optimisation of the Dynamics of Ecosystems with MICro-organismes
Moise - Modelling, Observations, Identification for Environmental Sciences
Morpheme - Morphologie et Images
Morpheo - Capture and Analysis of Shapes in Motion
Mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction
Mutant - Synchronous Realtime Processing and Programming of Music Signals
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
Non-a - Non-Asymptotic estimation for online systems
Numed - Numerical Medicine


Oak - Optimizations and Architectures for Complex large data
Oasis - Active objects, semantics, Internet and security
Opale - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE
Orpailleur - Knowledge Discovery guided by Domain Knowledge


Pareo - Formal islands: foundations and applications
Parietal - Modelling brain structure, function and variability based on high-field MRI data.
Parkas - Parallélisme de Kahn Synchrone
Parole - Analysis, perception and recognition of speech
Parsifal - Proof search and reasoning with logic specifications
Perception - Interpretation and Modeling of Images and Videos
Phoenix - Programming Language Technology For Communication Services
Pi.r2 - Design, study and implementation of languages for proofs and programs
Planete - Protocols and applications for the Internet
Poems - Wave propagation: mathematical analysis and simulation
Polsys - Polynomial Systems
Pomdapi - Environmental Modeling, Optimization and Programming Models
Pop art - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Popix - Modélisation en pharmacologie de population
Potioc - Popular interaction with 3d content
Prima - Perception, recognition and integration for observation of activity
Prosecco - Programming Securely with Cryptography


Rap - Networks, Algorithms and Probabilities
Realopt - Reformulations based algorithms for Combinatorial Optimization
Regal - Large-Scale Distributed Systems and Applications
Regularity - Probabilistic modelling of irregularity and application to uncertainties management
Reo - Numerical simulation of biological flows
Reves - Rendering and virtual environments with sound
Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement
Runtime - Efficient runtime systems for parallel architectures


S4 - System synthesis and supervision, scenarios
Sage - Simulations and Algorithms on Grids for Environment
Sardes - System architecture for reflective distributed computing environments
Sciport - Program transformations for scientific computing
Score - Services and Cooperation
Secret - Security, Cryptology and Transmissions
Secsi - Security of information systems
Select - Model selection in statistical learning
Semagramme - Semantic Analysis of Natural Language
Sequel - Sequential Learning
Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
Shacra - Simulation in Healthcare using Computer Research Advances
Sierra - Statistical Machine Learning and Parsimony
Simpaf - SImulations and Modelling for PArticles and Fluids
Sirocco - Analysis, representation, compression and communication of visual data
Sisyphe - SIgnals and SYstems in PHysiology & Engineering
Smis - Secured and Mobile Information Systems
Socrate - Software and Cognitive radio for telecommunications
Stars - Spatio-Temporal Activity Recognition Systems
Steep - Sustainability transition, environment, economy and local policy


Tao - Machine Learning and Optimisation
Tasc - Theory, Algorithms and Systems for Constraints
Texmex - Multimedia content-based indexing
Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
Tosca - TO Simulate and CAlibrate stochastic models
Trec - Theory of networks and communications
Trio - Real time and interoperability
Triskell - Reliable and efficient component based software engineering
Typical - Types, Logic and computing


Urbanet - Urban Capillary Networks


Vegas - Effective Geometric Algorithms for Surfaces and Visibility
Veridis - Modeling and Verification of Distributed Algorithms and Systems
Vertecs - Verification models and techniques applied to testing and control of reactive systems
Virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotype
Visages - Vision, Action and information manaGement System in health
Vr4i - Virtual Reality for Improved Innovative Immersive Interaction


Wam - Web, Adaptation and Multimedia
Willow - Models of visual object recognition and scene understanding
Wimmics - Web-Instrumented Man-Machine Interactions, Communities, and Semantics


Zenith - Scientific Data Management