Modèles et méthodes stochastiques

• ALEA - Algorithmes d'apprentissage évolutionnaires avancés
• ASPI - Applications statistiques des systèmes de particules en interaction
• CQFD - Contrôle de Qualité et Fiabilité Dynamique
• I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
• MATHRISK - Mathematical Risk handling
• REGULARITY - Modélisation probabiliste de la régularité et application à la gestion des incertitudes
• TOSCA - Simuler et calibrer des modèles stochastiques

Modélisation, simulation et analyse numérique

• BACCHUS - Outils parallèles pour les algorithmes numériques et les méthodes de résolutions des problèmes essentiellement hyperboliques
• CAD - Computer Aided Design
• CAGIRE - Computational Approximation with discontinous Galerkin methods and compaRison with Experiments
• CALVI - Calcul scientifique et visualisation
• 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 - Détermination de Formes Et Identification
• GAMMA3 - Génération automatique de maillages et méthodes avancées
• IPSO - Méthodes numériques préservant les invariants
• MC2 - Modélisation, contrôle et calcul
• MICMAC - Méthodes et ingénierie du calcul multi-échelle de l'atome au continuum
• 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
• OPALE - Optimisation et contrôle, algorithmiques numériques et intégration de systèmes complexes multidisciplinaires régis par des EDP
• POEMS - Propagation des Ondes : Étude Mathématique et Simulation
• SCIPORT - Transformations et outils informatiques pour le calcul scientifique
• SIMPAF - SImulation et modèles pour les PArticules et les Fluides
• SMASH - Simulation, modélisation, analyse de systèmes hétérogènes

Optimisation, apprentissage et méthodes statistiques

• CLASSIC - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification
• DOLPHIN - Optimisation multi-critère parallèle coopérative
• GEOSTAT - Géométrie et statistiques dans les données d'acquisition
• 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

Modélisation, 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
• CORIDA - Contrôle robuste infini-dimensionnel et applications
• DISCO - Systèmes dynamiques interconnectés dans des environnements complexes
• GECO - Geometric Control Design
• MAXPLUS - algèbres max-plus et mathématiques de la décision
• 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

Programmation, vérification et preuves

• ABSTRACTION - Interprétation abstraite et analyse statique
• ATEAMS - Analyse et Transformation a base des composition fideles des outils
• CARTE - Théorie des calculs adverses, et sécurité
• CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
• CELTIQUE - Certification de logiciel par analyse sémantique
• COMETE - Concurrence, Mobilité et Transactions
• CONTRAINTES - Programmation par contraintes
• DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
• FORMES - Méthodes Formelles pour les Systèmes Embarqués
• GALLIUM - Langages de programmation, types, compilation et preuves
• MARELLE - Mathématiques, Raisonnement et Logiciel
• MEXICO - Modeling and Exploitation of Interaction and Concurrency
• MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
• PAREO - Ilôts formels: fondements et applications
• 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
• PROSECCO - Programming securely with cryptography
• SECSI - Sécurité des systèmes d'information
• TASC - Theory, Algorithms and Systems for Constraints
• TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TYPICAL - Types, logique et calcul
• VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

Algorithmique, calcul certifié et cryptographie

• ALGORITHMS - Algorithmes
• ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
• CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
• CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
• CRYPT - Cryptanalyse
• GALAAD - Géométrie, algèbre, algorithmes
• GEOMETRICA - Calcul géométrique
• 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
• 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
• DART - Apports du parallélisme données au temps réel
• ESPRESSO - Environnement de spécification de programmes réactifs synchrones
• MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
• PARKAS - Parallélisme de Kahn Synchrone
• POP ART - Contrôle-commande temps réel sûr
• S4 - Synthèse et supervision de systèmes, scénarios
• TRIO - Temps réel et interopérabilité
• VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs

Architecture 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

Réseaux et télécommunications

• DANTE - Réseaux dynamiques : approche structurelle et temporelle
• DIONYSOS - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
• DISTRIBCOM - Algorithmes itératifs et distribués pour la gestion de systèmes de télécommunications
• DNET - Réseaux dynamiques
• FUN - self-organizing Future Ubiquitous Network
• GANG - Réseaux, graphes et algorithmes
• HIPERCOM - Communication hautes performances
• MADYNES - Supervision des réseaux et services dynamiques
• MAESTRO - modèles pour l'analyse des performances et le contrôle des réseaux
• MASCOTTE - Méthodes algorithmiques, simulation, combinatoire et optimisation des télécommunications
• PLANETE - Protocoles et applications pour l'Internet
• RAP - Réseaux, algorithmes et probabilités
• RESO - Protocoles et logiciels optimisés pour réseaux très haut-débit
• SOCRATE - Radio logicielle et radio cognitive pour les télécommunication
• TREC - Théorie des réseaux et communications
• URBANET - Réseaux capillaires urbains

Systèmes et services distribués

• ACES - Informatique diffuse et systèmes embarqués
• ADAM - Adaptive Distributed Applications and Middleware
• ARLES - Architectures logicielles et systèmes distribués
• ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• ASCOLA - Langages d'aspects et de composition
• ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
• CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
• FOCUS - Foundations of Component-based Ubiquitous Systems
• INDES - Programmation diffuse et sécurisée
• LOGNET - Réseaux Logiques : Réseaux de Recouvrement Autonomes et Ordinateurs Globaux et Pervasifs
• MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
• OASIS - Objets actifs, sémantique, Internet et sécurité
• PHOENIX - Technologie des langages de programmation pour les services de communication
• POPS - Systèmes et réseaux pour Petits Objets Portables et Sécurisés
• REGAL - Répartition et gestion d'applications à large échelle
• RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
• SARDES - Architecture de systèmes réflexifs pour les environnements distribués
• SCORE - Services et coopération
• TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels

Calcul distribué et applications à très haute performance

• ALGORILLE - Algorithmes pour la Grille
• AVALON - Architecture logicielle et algorithmique pour plateformes orientées service
• CEPAGE - Chercher et Essaimer dans les Plates-formes A Grande Echelle
• GRAND-LARGE - Calcul parallèle et distribué à grande échelle
• HIEPACS - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
• KERDATA - Scalable Storage for Clouds and Beyond
• MESCAL - Intergiciel, passage à l'échelle
• MOAIS - Multi-programmation et Ordonnancement pour les Applications Interactives de Simulation
• ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
• RUNTIME - Supports exécutifs performants pour architectures parallèles

Vision, Perception et interprétation multimédia

• AYIN - Stochastic models for remote sensing and skincare image processing
• IMEDIA2 - Images et multimédia : indexation, navigation et recherche
• LEAR - Apprentissage et reconnaissance en vision par ordinateur
• 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
• PRIMA - Perception, reconnaissance et intégration pour la modélisation des activités
• SIROCCO - Analysis representation, compression and communication of visual data
• STARS - Spatio-Temporal Activity Recognition Systems
• TEXMEX - Techniques d'exploitation des données multimédia
• 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
• IMAGINE - Modélisation Intuitive et Animation pour les Mondes 3D Interactifs et les Environnements Narratifs
• IN-SITU - Interaction située
• 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
• POTIOC - Popular interaction with 3d content
• REVES - Rendu et environnements virtuels sonorisés
• VR4I - Virtual Reality for Improved Innovative Immersive Interaction

Représentation et traitement des données et des connaissances

• AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
• DAHU - Verification en bases de données
• DREAM - Diagnostic, recommandation d'actions et modélisation
• EXMO - Echanges de connaissance structurée médiatisés par ordinateur
• GRAVITE - Visualisation et exploration interactive de graphes
• MAIA - Machine intelligente et autonome
• MOSTRARE - modèles de structures arborescentes, apprentissage et extraction d'information
• OAK - Optimizations and Architectures for Complex large data
• ORPAILLEUR - Représentation de connaissances, raisonnements
• SMIS - Systèmes d'informations sécurisés et mobiles
• TYREX - Types et raisonnement pour le web
• WAM - Web, adaptation et multimédia
• WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
• ZENITH - Gestion de données scientifiques

Robotique

• COPRIN - Contraintes, optimisation et résolution par intervalles
• E-MOTION - Géométrie et probabilité pour le mouvement et l'action
• EVOLUTION - Embedded computer Vision sOLUTION
• FLOWERS - Interactions, exploration et apprentissage en robotique développementale et sociale
• IMARA - Informatique, Mathématiques et Automatique pour la Route Automatisée
• LAGADIC - Asservissement visuel en robotique, vision et animation

Langue, parole et audio

• ALPAGE - Analyse linguistique profonde à grande échelle
• METISS - Modélisation et expérimentation pour le traitement des informations et des signaux sonores
• PAROLE - Analyse, perception et reconnaissance de la parole
• SEMAGRAMME -

Observation et modélisation pour les sciences de l'environnement

• ANGE - Analyse Numérique, Géophysique et Ecologie
• CLIME - Couplage de la donnée environnementale et des modèles de simulation numérique pour une intégration logicielle
• FLUMINANCE - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
• MAGIQUE-3D - Modélisation Avancée en GéophysIQUE 3D
• MOISE - Modélisation, Observations, Identification en Sciences de l'Environnement
• POMDAPI - Modélisation pour l'environnement, optimisation et modèles de programmation
• SAGE - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
• STEEP - Soutenabilité, Territoires, Environnement, Economie et Politique

Observation, modélisation et commande pour le vivant

• BANG - Analyse numérique de modèles non linéaires pour la Bio et Géophysique
• BIGS - Biologie, génétique et statistiques
• 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
• MACS - Modélisation, analyse et contrôle pour le calcul des structures
• MASAIE - Outils et modèles de théorie du contrôle non-linéaire pour l'épidémiologie et l'immunologie
• MODEMIC - Modélisation et Optimisation des Dynamiques des Ecosystèmes MICrobiens
• NUMED - Modélisation numérique en médecine
• REO - Simulation numérique d'écoulements biologiques
• SISYPHE - SIgnaux et systèmes en PHysiologie et ingénieriE
• VIRTUAL PLANTS - Modélisation de la morphogénèse des plantes à différentes échelles, des gènes aux phénotypes

Biologie numérique et bioinformatique

• ABS - Algorithmes et Biologie Structurale
• AMIB - Algorithmes et modèles pour la Biologie Intégrative
• BAMBOO - Un regard algorithmique sur les génomes, les cellules et l'environnement
• 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 - Modélisation, simulation, analyse expérimentale et contrôle de réseaux de régulation bactériens
• MAGNOME - Models and Algorithms for the Genome
• MORPHEME - Morphologie et Images
• SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires

Images, modèles et algorithmes pour la médecine et les neurosciences

• 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
• CORTEX - Intelligence neuromimétique
• DEMAR - Déambulation et mouvement artificiel
• GALEN - Modélisation d'organes à travers l'Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• MNEMOSYNE - Mnemonic Synergy
• NEUROMATHCOMP - Neurosciences Mathématique et Computationnelle
• ORCHESTRON - Orchestron : from neuronal rhythms to rhythmic brain functions
• PARIETAL - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
• SHACRA - Simulation in Healthcare using Computer Research Advances
• VISAGES - Vision, Action et Gestion d'informations en Santé