| Première année | ||
| - 3MMTL1:Théorie des langages 1 | 3.0 | 71.25 |
| - 3MMTL2:Théorie des langages 2 | 3.0 | 35.25 |
| Deuxième année | ||
| - 4MMFLI:Fondements logiques pour l'informatique | 3.0 | 36.75 |
| - 4MMSAP:Sémantique et analyse des programmes | 2.5 | 53.5 |
| Troisième année | ||
| - 5MMVSE:Validation des systèmes embarqués | 2.0 | 18.0 |
| - 5MMMVSCT:Modélisation et vérification des systèmes concurrents et temps réel | 1.75 | 18.0 |