| 10 |
Systèmes
d'information |
|
| 11 |
BD, SGBD, gestion des données, entrepôts,
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, processus, SI spécifiques) |
| 14 |
Web sémantique |
| 20 |
Algorithmique, recherche
opérationnelle |
|
| 21 |
Recherche opérationnelle,
optimisation combinatoire |
| 22 |
Graphes, combinatoire, algorithmique
géométrique |
| 23 |
Algorithmique distribuée,
parallèle |
| 24 |
Calculabilité et
complexité |
| 30 |
Informatique fondamentale |
|
| 31 |
Informatique théorique, théorie des langages,
modèles de calcul |
| 32 |
Calcul formel, interface mathématique et informatique,
cryptographie, codage |
| 33 |
Logique et fondements de la programmation |
| 40 |
Réseaux |
|
| 41 |
Architecture, gestion, sécurité |
| 42 |
Protocoles, QoS, multimédia, mobilité |
| 43 |
Métrologie, évaluation de performances |
| 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 et intergiciels |
| 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 |
| 65 |
Sécurité des systèmes informatiques |
| 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 |
Logique, raisonnement, ingénierie des connaissances |
| 83 |
Planification |
| 84 |
TALN |
| 85 |
Contraintes, méta-heuristiques |
| 86 |
Systèmes multi-agents, modélisation cognitive |
| 90 |
Images et géométrie, scènes, parole,
signaux |
|
| 91 |
Analyse d'objets, d'images, de scènes |
| 92 |
Traitement de données audiovisuelles et multimédia |
| 93 |
Perception et vision par ordinateur, réalité
augmentée |
| 94 |
Informatique graphique, synthèse d'images |
| A0 |
Communication/relation homme-machine |
|
| A1 |
Environnements Informatiques pour l'Apprentissage
(EIAO, EIAH) |
| A2 |
Communication homme-machine (compagnons artificiels,
affect, dialogue) |
| A3 |
Analyse de documents |
| A4 |
Interaction homme-machine (interface, travail coopératif,
collecticiel) |
| 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 la puce, systèmes embarqués |
| C0 |
Informatique industrielle |
|
| C1 |
Architecture dédiée, conception, systèmes sur puces ou
embarqués |
| C2 |
Systèmes temps réel, ordonnancement,
systèmes d'exploitation |
| C3 |
Modèles pour les systèmes à
événements discrets |
| 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
|
