° A&O - Apprentissage et Optimisation
° BioInfo - Bioinformatique
° GALaC - Graphes, Algorithmes et Combinatoire
° HCC - Informatique Centrée sur l'Humain
° LaHDAK - Données et Connaissances Massives et Hétérogènes
° MODHEL - Modélisation Hétérogène
° ParSys - Systèmes Parallèles
° ROCS - Réseaux & Optimisation Combinatoire et Stochastique
° VALS - Vérification d'Algorithmes, Langages et Systèmes

° ASARD - Développement logiciel
° DigiFab - Digital Fabrication
° Grafh - Service Administratif et Logistique
° SAMI - Service informatique

° AVIZ
° Ex Situ
° ILDA
° TAO
° Toccata

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs
° Intégration de données et de connaissances
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle
° Optimisation combinatoire et stochastique
° Optimisation dans les réseaux
° Optimisation stochastique numérique
° Paradigmes d'interaction et de visualisation
° Raisonnement automatique
° Réseaux
° Test formel basé sur les modèles
° Théorie des graphes
° Vérification déductive de programmes