Pôles
Algorithmes et structures discrètes
Automates, structures et vérification
Preuves, programmes et systèmes