A
- ABSAlgorithms, Biology, Structure
- ACUMESAnalysis and Control of Unsteady Models for Engineering Sciences
- AGORAWireless Networks for Digital Cities
- AIRSEAmathematics and computing applied to oceanic and atmospheric flows
- ALMANACHAutomatic Language Modelling and Analysis & Computational Humanities
- ALPINESAlgorithms and parallel tools for integrated numerical simulations
- ANGENumerical Analysis, Geophysics and Environment
- ANIMAAuthoring and directing animated story worlds
- ANTIQUEStatic Analysis by Abstract Interpretation
- ARAMISAlgorithms, models and methods for images and signals of the human brain
- ARICArithmetic and Computing
- AROMATHAlgebRa, geOmetry, Modeling and AlgoriTHms
- ASCIIAnalysis of Stochastic Cooperative Intelligent Interactions
- ATHENAComputational Imaging of the Central Nervous System
- ATLANTISmodeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
- AUCTUSAugmenting human comfort in the factory using cobots
- AVALONAlgorithms and Software Architectures for Distributed and HPC Platforms
- AVIZAnalysis and VIsualiZation
- AYANAAI and Remote Sensing on board for the New Space
B
- BEAGLEArtificial Evolution and Computational Biology
- BIGSBiology, genetics and statistics
- BIOCOREBiological control of artificial ecosystems
- BIOVISIONBiologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
- BONUSBig Optimization aNd Ultra-Scale Computing
C
- CAGEControl and Geometry
- CAGIREComputational AGility for internal flows sImulations and compaRisons with Experiments
- CAIRNEnergy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
- CALISTOStochastic Approaches for Complex Flows and Environment
- CAMBIUMProgramming languages: type systems, concurrency, proofs of programs
- CAMINControl of Artificial Movement & Intuitive Neuroprosthesis
- CAMUSCompiling Architectures of Multicores
- CAPSIDComputational Algorithms for Protein Structures and Interactions
- CARAMBACryptology, arithmetic : algebraic methods for better algorithms
- CARDAMOMCertified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
- CARMENModélisation et calculs pour l'électrophysiologie cardiaque
- CASCADEConstruction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
- CASHCompilation and Analyses for Software and Hardware
- CASTORControl, Analysis and Simulations for TOkamak Research
- CEDARRich Data Exploration at Cloud Scale
- CELESTEmathematical statistics and learning
- CELTIQUESoftware certification with semantic analysis
- CHROMACooperative and Human-aware Robot Navigation in Dynamic Environments
- CIDREConfidentialité, Intégrité, Disponibilité et Répartition
- COASTWeb Scale Trustworthy Collaborative Service Systems
- COATICombinatorics, Optimization and Algorithms for Telecommunications
- COFFEECOmplex Flows For Energy and Environment
- COMETEConcurrency, Mobility and Transactions
- COMLCognitive Machine Learning
- COMMANDSControl, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
- COMMEDIAComputational mathematics for bio-medical applications
- CONVECSConstruction of verified concurrent systems
- CORSEcompiler optimization and run-time systems
- COSMIQCode-based Cryptology, Symmetric Cryptology and Quantum Information
- CQFDQuality control and dynamic reliability
- CTRL-AControl for safe Autonomic computing systems
D
- DANTEDynamic Networks : Temporal and Structural Capture Approach
- DATAMOVEData Aware Large Scale Computing
- DATASHAPEUnderstanding the shape of data
- DEDUCTEAMDEDUCTEAM
- DEFIShape reconstruction and identification
- DEFROSTDEFormable Robotics SofTware
- DELYSDistributEd aLgorithms and sYStems
- DIANADesign, Implementation and Analysis of Networking Architectures
- DIONYSOSDependability Interoperability and perfOrmance aNalYsiS Of networkS
- DISCODynamical Interconnected Systems in COmplex Environments
- DIVERSEDiversity-centric Software Engineering
- DRACULAMulti-scale modelling of cell dynamics : application to hematopoiesis
- DYLISSDynamics, Logics and Inference for biological Systems and Sequences
- DYOGENEDynamics of Geometric Networks
E
- EASEEnabling Affordable Smarter Environment
- ECUADORProgram transformations for scientific computing
- ELANmodELing the Appearance of Nonlinear phenomena
- EMPENNEMPENN
- EPIONEE-Patient: Images, Data & MOdels for e-MediciNE
- ERABLEEuropean Research team in Algorithms and Biology, formaL and Experimental
- EVAWireless Networking for Evolving & Adaptive Applications
- EX-SITUExtreme Situated Interacton
F
- FACTASFunctional Analysis for ConcepTion and Assessment of Systems
- FLOWERSFlowing Epigenetic Robots and Systems
- FLUMINANCEFluid Flow Analysis, Description and Control from Image Sequences
- FOCUSFoundations of Component-based Ubiquitous Systems
- FUNself-organizing Future Ubiquitous Network
G
- GALLINETTEGallinette: developing a new generation of proof assistants
- GAMBLEGeometric Algorithms & Models Beyond the Linear & Euclidean realm
- GAMMAAdaptive Mesh Generation and Advanced numerical Methods
- GENSCALEScalable, Optimized and Parallel Algorithms for Genomics
- GEOSTATGeometry and Statistics in acquisition data
- GRACEGeometry, arithmetic, algorithms, codes and encryption
- GRAPHDECOGRAPHics and DEsign with hEterogeneous COntent
- GRAPHIKGRAPHs for Inferences and Knowledge representation
H
- HEPHAISTOSHExapode, PHysiology, AssISTance and RobOtics
- HIEPACSHigh-End Parallel Algorithms for Challenging Numerical Simulations
- HYBRID3D interaction with virtual environments using body and mind
- HYCOMESModélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
I
- I4SStatistical Inference for Structural Health Monitoring
- IBISModeling, simulation, measurement, and control of bacterial regulatory networks
- ILDAInteracting with Large Data
- INBIOExperimental and Computational Methods for Modeling Cellular Processes
- INDESSecure Diffuse Programming
- INOCSINtegrated Optimization with Complex Structure
K
L
- LACODAMLarge scale Collaborative Data Mining
- LARSENLifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
- LEMONLittoral Environment: M0dels and Numerics
- LFANTLithe and fast algorithmic number theory
- LIFEWAREComputational systems biology and optimization
- LINKMEDIACreating and exploiting explicit links between multimedia fragments
- LINKSLinking Dynamic Data
- LOKITechnology & Knowledge for Interaction
M
- M3DISIMMathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
- MAASAIModels and Algorithms for Artificial Intelligence
- MAGIQUE-3DAdvanced 3D Numerical Modeling in Geophysics
- MAGNETMachine Learning in Information Networks
- MAGRITVisual Augmentation of Complex Environments
- MAMBAModelling and Analysis for Medical and Biological Applications
- MANAOMelting the frontiers between Light, Shape and Matter
- MARACASModels and Algorithms for Reliable Communication Systems
- MATHERIALSMATHematics for MatERIALS
- MATHNEUROMathematics for Neuroscience
- MATHRISKMathematical Risk handling
- MAVERICKModels and Algorithms for Visualization and Rendering
- MCTAOMathematics for Control, Transport and Applications
- MEMPHISModeling Enablers for Multi-PHysics and InteractionS
- MEXICOModeling and Exploitation of Interaction and Concurrency
- MFXMatter from Graphics
- MIMESISComputational Anatomy and Simulation for Medicine
- MIMETICAnalysis-Synthesis Approach for Virtual Human Simulation
- MIMOVEMiddleware on the Move
- MINGUSMultI-scale Numerical Geometric Schemes
- MNEMOSYNEMnemonic Synergy
- MOCQUADesigning the Future of Computational Models
- MODALMOdel for Data Analysis and Learning
- MOEXEvolving Knowledge
- MOKAPLANAdvances in Numerical Calculus of Variations
- MONCMathematical modeling for Oncology
- MORPHEMEMorphologie et Images
- MORPHEOCapture and Analysis of Shapes in Motion
- MOSAICMOrphogenesis Simulation and Analysis In siliCo
- MULTISPEECHSpeech Modeling for Facilitating Oral-Based Communication
- MUSCAMUltiSCAle population dynamics for physiological systems
- MYRIADSDesign and Implementation of Autonomous Distributed Systems
N
O
- OPISOPtImization for large Scale biomedical data
- ORPAILLEURKnowledge representation, reasonning
- OURAGANTools for resolutions in algebra, geometry and their applications
P
- PACAPPushing Architecture and Compilation for Application Performance
- PARADYSEPARticles And DYnamical SystEms
- PARIETALModelling brain structure, function and variability based on high-field MRI data.
- PARKASParallélisme de Kahn Synchrone
- PARTOUTProof Automation and RepresenTation: a fOundation of compUtation and deducTion
- PERCEPTIONInterpretation and Modelling of Images and Videos
- PESTOProof techniques for security protocols
- PETRUSPErsonal & TRUSted cloud
- PI.R2Design, study and implementation of languages for proofs and programs
- PIXELStructure geometrical shapes
- PLEIADEPatterns of diversity and networks of function
- POEMSWave propagation: mathematical analysis and simulation
- POLARISPerformance analysis and Optimization of LARge Infrastructures and Systems
- POTIOCNovel Multimodal Interactions for a Stimulating User Experience
- PRIVATICSPrivacy Models, Architectures and Tools for the Information Society
- PROSECCOProgramming securely with cryptography
Q
- QUANTICQUANTum Information Circuits
R
- RAINBOWSensor-based Robotics and Human Interaction
- RANDOPTRandomized Optimization
- RAPSODIReliable numerical approximations of dissipative systems.
- REALOPTReformulations based algorithms for Combinatorial Optimization
- RESISTResilience and Elasticity for Security and ScalabiliTy of dynamic networked systems
- RITSRobotics & Intelligent Transportation Systems
- RMODAnalyses and Languages Constructs for Object-Oriented Application Evolution
- ROMAOptimisation des ressources : modèles, algorithmes et ordonnancement
S
- SCOOLSequential decision making under uncertainty problem
- SEMAGRAMMESemantic Analysis of Natural Language
- SERENASimulation for the Environment: Reliable and Efficient Numerical Algorithms
- SERPICOSpace-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
- SIERRAStatistical Machine Learning and Parsimony
- SIMSMARTSIMulating Stochastic Models with pARTicles
- SIROCCOAnalysis representation, compression and communication of visual data
- SISTMStatistics In System biology and Translational Medicine
- SOCRATESoftware and Cognitive radio for telecommunications
- SPADESSound Programming of Adaptive Dependable Embedded Systems
- SPECFUNSymbolic Special Functions : Fast and Certified
- SPHINXHeterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
- SPIRALSSelf-adaptation for distributed services and large software systems
- STACKSoftware Stack for Massively Geo-Distributed Infrastructures
- STAMPSafety Techniques based on Formalized Mathematical Proofs
- STARSSpatio-Temporal Activity Recognition Systems
- STATIFYBayesian and extreme value statistical models for structured and high dimensional data
- STEEPSustainability transition, environment, economy and local policy
- STORMSTatic Optimizations, Runtime Methods
- SUMOSUpervision of large MOdular and distributed systems
T
- TADAAMTopology-aware system-scale data management for high-performance computing
- TAUTackling the under-specified
- TEATime, Events and Architectures
- THOTHLearning visual models from large-scale data
- TITANEGeometric Modeling of 3D Environments
- TOCCATACertified Programs, Certified Tools, Certified Floating-Point Computations
- TONUSTOkamaks and NUmerical Simulations
- TOSCA-NGETO Simulate and CAlibrate stochastic models
- TRIBEinTeRnet BEyond the usual
- TRIPOPModeling, Simulation and Control of Nonsmooth Dynamical Systems
- TROPICALTropical methods: structures, algorithms and interactions
- TYREXTypes and Reasoning for the Web
V
W
- WHISPERWell Honed Infrastructure Software for Programming Environments and Runtimes
- WIDEthe World Is Distributed Exploring the tension between scale and coordination
- WILLOWModels of visual object recognition and scene understanding
- WIMMICSWeb-Instrumented Man-Machine Interactions, Communities and Semantics
X
- XPOPStatistical modelling for life sciences
Z
- ZENITHScientific Data Management