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é