• Algorithmique et structures discrètes : algorithmique et complexité ; modèles de calcul, calculabilité, théorie des langages ; combinatoire, théorie des graphes
• Calcul : arithmétique des ordinateurs, calcul formel, calcul haute performance, autres paradigmes de calcul
• Sciences de la programmation et du logiciel : langages de programmation, sémantique, compilation ; théorie de la preuve et démonstration automatique ; sûreté de fonctionnement, vérification de modèles, analyse de programmes ; génie logiciel ; architectures logicielles
• Réseaux et systèmes distribués : gestion des ressources et infrastructures distribuées et de leurs impacts ; protocoles, services et analyse des réseaux ; algorithmique ; virtualisation
• Intelligence artificielle et science des données : gestion des données complexes, imparfaites, (semi-)structurées ; apprentissage automatique, fouille de données et recherche d’information ; ingénierie et représentation des connaissances, raisonnement
• Recherche opérationnelle et science de la décision : optimisation discrète, programmation mathématique, satisfaction de contraintes ; ordonnancement, logistique ; choix social computationnel, théorie algorithmique des jeux, systèmes multi-agents
• Sécurité informatique : cryptologie ; sécurité des réseaux, des systèmes, des logiciels, des données ; protection de la vie privée et des communications
• Informatique quantique : algorithmique, information, calcul
• Sciences informatiques du vivant et de la santé : bioinformatique, analyse des données et connaissances du vivant ; gestion et intégration des données de santé
• Sciences informatiques en interaction : modèles, méthodes et applications conçus pour ou inspirés des autres sciences ; approches informatiques des grands défis de société