| First year (bachelor) | ||
| - 3MMTL1:FORMAL LANGUAGE THEORY 1 | 3.0 | 71.25 |
| - 3MMTL2:LANGUAGE THEORY 2 | 3.0 | 35.25 |
| Second year (master 1) | ||
| - 4MMFLI:Logic bases for computer science | 3.0 | 36.75 |
| - 4MMSAP:SEMANTICS AND PROGRAM ANALYSIS | 2.5 | 53.5 |
| Third year (master 2) | ||
| - 5MMVSE:VALIDATION OF EMBEDDED SYSTEMS | 2.0 | 18.0 |
| - 5MMMVSCT:MODELING AND VERIFICATION OF CONCURRENT AND REAL-TIME SYSTEMS | 1.75 | 18.0 |