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 |