Nomenclature thématique

10 Systèmes d'information  
11 BD, gestion des données, entrepôts, progiciels, masse de données, science des données, fouille de données
12 Recherche d'information, ingénierie des documents, information multimédia
13 Ingénierie des SI, méthodes et modèles pour la conception, process, SI collaboratifs et répartis, SI spécifiques
14 Web, interopérabilité, web sémantique, ontologies, réseaux sociaux
15 Service science, web service, services cloud
20 Algorithmique, recherche opérationnelle  
21 Optimisation combinatoire
22 Théorie des graphes
23 Algorithmique distribuée, parallèle
24 Calculabilité, complexité
25 Théorie algorithmique des jeux
26 Planification, ordonnancement
27 Métaheuristique
30 Informatique fondamentale  
31 Informatique théorique, langages formels, automates, modèles de calcul
32 Calcul formel, interface mathématiques et informatique, codes correcteurs
33 Logique, fondements de la programmation et des données, théorie de la preuve
34 Informatique quantique
40 Réseaux  
41 Architecture, gestion, plateformes, métrologie
42 Réseaux sans fil, capteurs, Internet des objets
43 Mobilité, réseaux véhiculaires
44 Cloud, virtualisation des réseaux
45 Modélisation, évaluation de performances, simulation
50 Bioinformatique  
51 Inférence et analyse de séquences/réseaux
52 Stockage et fouille
53 Modélisation et simulation (molécules, dynamique des réseaux)
60 Systèmes informatiques  
61 Systèmes d'exploitation, intergiciels, cloud
62 Modèles, spécifications, validation, vérification
63 Systèmes critiques, embarqués, temps réel
64 Systèmes répartis et distribués
70 Génie logiciel et programmation  
71 Ingénierie des exigences, méthodes de développement, gestion des processus logiciels
72 Ingénierie pilotée par les modèles
73 Approches formelles, spécification, vérification, preuve, validation, test
74 Architecture logicielle, composants, lignes de produits, services
75 Méthodes de programmation et paradigmes
76 Langages, compilation, génération de code, interprétation
80 Intelligence artificielle  
81 Apprentissage
82 Acquisition, représentation et ingénierie des connaissances, formalisation des raisonnements
83 Théorie de la décision, théorie du choix social
84 Traitement automatique des langues et de la parole
85 Contraintes et SAT
86 Intelligence artificielle distribuée, systèmes multi-agents, modélisation cognitive
87 Science des données
90 Image, médias, géométrie, vision, perception, interaction  
91 Traitement et analyse des images, signaux et médias (audio, images, séries d’images, documents, multimédia), imagerie computationnelle
92 Vision et perception par ordinateur, apprentissage pour le multimédia
93 Informatique graphique, informatique géométrique, synthèse de signaux, d'images et de contenu multimédia
94 Réalité virtuelle augmentée et mixte, interaction 3D et multi-sensorielle
A0 Communication/relation homme-machine  
A1 Environnements informatiques pour l'apprentissage humain (EIAH)
A2 Communication homme-machine, compagnons artificiels, affect, dialogue
A3 Analyse de documents
A4 Interaction homme-machine, interface, multimodalité, multi-utilisateurs
B0 Architecture des machines  
B1 Architecture des ordinateurs, processeurs, multi-processeurs, systèmes mémoire
B2 Méthodes de conception, de vérification et de test de matériel
B3 Architectures spécialisées, systèmes numériques intégrés sur puce, systèmes embarqués
C0 Informatique industrielle  
C1 Architecture dédiée, architectures manycore, systèmes sur puces ou embarqués
C2 Systèmes temps réel, contrôle de processus, cybernétique, modèles pour les systèmes à événements discrets, automate programmable industriel, supervision
C3 Conception assistée par ordinateur, fabrication assistée par ordinateur, programmation de commande numérique, industrie 4.0
D0 Modélisation-simulation pour les systèmes complexes (systèmes artificiels et naturels)  
D1 Formalismes de modélisation
D2 Simulation distribuée
D3 Vérification, validation de modèles de simulation
D4 Transformations de modèles, génération de code à partir des modèles
D5 Couplages de modèles, interactions entre systèmes discrets
E0 Sécurité  
E1 Codage et cryptographie
E2 Méthodes formelles pour la sécurité
E3 Protection de la vie privée
E4 Sécurité des systèmes, des logiciels, des réseaux
E5 Sécurité des systèmes physiques, matériels
E6 Sécurité des systèmes d’information

Page mise à jour le 29/08/2020.