Licence informatique,
parcours recherche et innovation /
Magistère Informatique
- Fondements 1 : langages formels, automates et calculabilité
- Fondements 2 : logique
- Algo 2 : algorithmique avancée
- Pedago : initiation à la pédagogie
M1 Informatique
- Sémantique des langages de programmation (SEM)
M2 Informatique
- Sémantique avancée (ASM)