| First year (bachelor) | ||
| - 3MMTL2:Language theory 2 | 3.0 | 39.0 |
| - 3MMTL1:Formal language theory 1 | 3.0 | 76.5 |
| Second year (master 1) | ||
| - 4MMFLI:Logic bases for computer science | 3.0 | 35.5 |
| Third year (master 2) | ||
| - 5MMMVSC7:Models and languages for model checking | 1.5 | 18.0 |
| - 5MMVSE7:Validation of embedded systems | 1.5 | 18.0 |