Cette option abordera un thème avancé en Méthodes formelles, qui pourra varier chaque année :
- Introduction aux logiques modales et applications
- Automates et jeux
- Sémantique dénotationnelle et logique catégorique
- ASP - fondements théoriques, calculs et application
- Réalisabilité