
| First year (bachelor) | ||
| - 3MMTL1:FORMAL LANGUAGE THEORY 1 | 3.0 | 72.0 |
| - 3MMTL2:LANGUAGE THEORY 2 | 3.0 | 36.0 |
| Second year (master 1) | ||
| - 4MMFLI:Logic bases for computer science | 3.0 | 36.0 |
| - 4MMLOG2:Applied logics for information processing | 2.5 | 36.0 |
| - 4MMSAP:SEMANTICS AND PROGRAM ANALYSIS | 2.5 | 54.0 |
| - 4MMTLCMN:Language theory and Compilers - Level upgrade | 1.5 | 18.0 |
| 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 |