Thèmes

#	Thèmes	Sous-thèmes
1.	Algorithmique	Algorithmes approchés, Algorithmes en ligne, Algorithmes évolutionnaires, Algorithmes probabilistes, Algorithmique de graphes
2.	Algorithmique répartie	Autostabilisation, Réseaux de capteurs
3.	Apprentissage	Apprentissage par renforcement, Evolutionary computation, Fouille de données, Transitions de Phases
4.	Architecture
5.	Bases de données	Bases de données multidimensionnelles, Bibliothèque numérique, Intégration d'informations
6.	Bioinformatique	Fouille de données, Intégration d'informations, Ontologies, Workflows
7.	Calcul haute performance
8.	Calcul parallèle
9.	Calcul quantique
10.	Clusters et Grilles
11.	Combinatoire	Combinatoire des mots, Combinatoire énumerative
12.	Communication médiatisée	Communication multi-échelle, Communication vidéo, Dispositifs de communication, Mediaspaces
13.	Compilation
14.	Complexité
15.	Conception et évaluation des systèmes interactifs	Conception participative, Etudes de terrain, Evaluations contrôlées, Loi de Fitts
16.	Dynamique symbolique
17.	Intelligence Artificielle	Compilation de bases de connaissances, Démonstration automatique, Diagnostic, Inductive logic programming, Ingénierie des connaissances, Intégration d'informations, Ontologies, QBF, Raisonnement automatique, Représentation des connaissances, SAT, Web sémantique
18.	Interaction Homme-Machine	Dispositifs d'entrée, Ingénierie des systèmes interactifs, Interaction multi-échelle, Interaction Multi-Surfaces, Interaction sur dispositifs mobiles, Interfaces tangibles, Systèmes de fenêtrage, Techniques d'interaction graphique
19.	Langages centrés données
20.	Logique	Démonstration automatique, Raisonnement automatique, Réécriture, Théorie des types
21.	Méthodes Formelles de Génie Logiciel
22.	Modélisation
23.	Network Coding
24.	Optimisation	Apprentissage par renforcement, Evolutionary computation, Optimisation stochastique, Transitions de Phases
25.	Optimisation combinatoire	Optimisation combinatoire stochastique, Optimisation robuste, Programmation semi-définie
26.	Pair à Pair
27.	Programmation	Langages d'ordre supérieur, Programmation fonctionnelle, Programmation orientée objet, Programmation synchrone
28.	Réseaux	Qualité de service dans les réseaux, Réseaux ad hoc, Réseaux de capteurs, Réseaux mobiles, Réseaux sans fil
29.	Réseaux de communication
30.	Robotique
31.	sécurité
32.	Systèmes de gestion de contenu
33.	Théorie de la cryptographie
34.	Théorie des graphes
35.	Théorie des jeux
36.	Tolerance aux pannes
37.	Vérification	Arithmétique flottante, Diagnostic, Model-Checking, Preuve de programme, Test de Logiciels
38.	Visualisation interactive d'information
39.	XML

---

Sous-Thèmes

#	Sous-thèmes	Thèmes parents
1.	Algorithmes approchés	Algorithmique
2.	Algorithmes en ligne	Algorithmique
3.	Algorithmes évolutionnaires	Algorithmique
4.	Algorithmes probabilistes	Algorithmique
5.	Algorithmique de graphes	Algorithmique
6.	Apprentissage par renforcement	Apprentissage, Optimisation
7.	Arithmétique flottante	Vérification
8.	Autostabilisation	Algorithmique répartie
9.	Bases de données multidimensionnelles	Bases de données
10.	Bibliothèque numérique	Bases de données
11.	Combinatoire des mots	Combinatoire
12.	Combinatoire énumerative	Combinatoire
13.	Communication multi-échelle	Communication médiatisée
14.	Communication vidéo	Communication médiatisée
15.	Compilation de bases de connaissances	Intelligence Artificielle
16.	Conception participative	Conception et évaluation des systèmes interactifs
17.	Démonstration automatique	Intelligence Artificielle, Logique
18.	détection d'intrusion
19.	Diagnostic	Intelligence Artificielle, Vérification
20.	Dispositifs d'entrée	Interaction Homme-Machine
21.	Dispositifs de communication	Communication médiatisée
22.	Etudes de terrain	Conception et évaluation des systèmes interactifs
23.	Evaluations contrôlées	Conception et évaluation des systèmes interactifs
24.	Evolutionary computation	Apprentissage, Optimisation
25.	Fouille de données	Apprentissage, Bioinformatique
26.	Grappes
27.	Inductive logic programming	Intelligence Artificielle
28.	Ingénierie des connaissances	Intelligence Artificielle
29.	Ingénierie des systèmes interactifs	Interaction Homme-Machine
30.	Intégration d'informations	Bases de données, Bioinformatique, Intelligence Artificielle
31.	Interaction multi-échelle	Interaction Homme-Machine
32.	Interaction Multi-Surfaces	Interaction Homme-Machine
33.	Interaction sur dispositifs mobiles	Interaction Homme-Machine
34.	Interfaces tangibles	Interaction Homme-Machine
35.	Langages d'ordre supérieur	Programmation
36.	Loi de Fitts	Conception et évaluation des systèmes interactifs
37.	Mediaspaces	Communication médiatisée
38.	Model-Checking	Vérification
39.	Ontologies	Bioinformatique, Intelligence Artificielle
40.	Optimisation combinatoire stochastique	Optimisation combinatoire
41.	Optimisation robuste	Optimisation combinatoire
42.	Optimisation stochastique	Optimisation
43.	Preuve de programme	Vérification
44.	Programmation fonctionnelle	Programmation
45.	Programmation orientée objet	Programmation
46.	Programmation semi-définie	Optimisation combinatoire
47.	Programmation synchrone	Programmation
48.	QBF	Intelligence Artificielle
49.	Qualité de service dans les réseaux	Réseaux
50.	Raisonnement automatique	Intelligence Artificielle, Logique
51.	Réécriture	Logique
52.	Représentation des connaissances	Intelligence Artificielle
53.	Réseaux ad hoc	Réseaux
54.	Réseaux de capteurs	Algorithmique répartie, Réseaux
55.	Réseaux mobiles	Réseaux
56.	Réseaux sans fil	Réseaux
57.	SAT	Intelligence Artificielle
58.	Stockage et optimisation
59.	Systemes Computationels Autonomes
60.	Systèmes de fenêtrage	Interaction Homme-Machine
61.	Techniques d'interaction graphique	Interaction Homme-Machine
62.	Test de Logiciels	Vérification
63.	Théorie des types	Logique
64.	Transitions de Phases	Apprentissage, Optimisation
65.	Web sémantique	Intelligence Artificielle
66.	Workflows	Bioinformatique