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