I -   Algorithmique et combinatoire

     1 - Complexité et algorithmes paramétrés

     2 - Théorie des matroïdes et des matroïdes orientés

II - Logique et complexité

     3 - Programmes, preuves et fonctions

     4 - Interprétation abstraite pour la précision numérique

III - Calcul formel, arithmétique et géométrie

     5 - Arithmétique des ordinateurs et preuves formelles

     6 - Analyse géométrique des données