| |
| First year (bachelor) |
| - 3MMALG11:ALGORITHMS AND DATA STRUCTURES 1 | 6.0 | 196.5 |
| - 3MMPLC:SOFTWARE PROJECT | 4.0 | 118.0 |
| - 3MMALG2:ALGORITHMS AND DATA STRUCTURES 2 | 3.0 | 93.0 |
| Second year (master 1) |
| - 4MMMFTP:FORMAL MODELS FOR TIME AND PARALLELISM | 1.5 | 18.75 |
| - 4MMAPMA:ALGORITHMS AND PROGRAMMING - LEVEL UPGRADE | 3.0 | 54.0 |
| - 4MMMP3:MODELISATION AND PROGRAMMING | 1.5 | 36.0 |
| - 4MMSAP:SEMANTICS AND PROGRAM ANALYSIS | 2.5 | 53.5 |
| - 4MMACVLS:SOFTWARE ANALYSIS, DESIGN AND VALIDATION | 2.5 | 36.75 |
| - 4MMTLCMN:Language theory and Compilers - Level upgrade | 1.5 | 18.0 |
| - 4MMACVL:SOFTWARE ANALYSIS, DESIGN AND VALIDATION | 2.5 | 36.75 |
| - 4MMPGL:SOFTWARE ENGINEERING PROJECT | 6.0 | 189.75 |
| - 4MMPOO:Object-Oriented Programming | 2.0 | 18.5 |
| Third year (master 2) |
| - 5MMVSE:VALIDATION OF EMBEDDED SYSTEMS | 2.0 | 18.0 |
| - WMMF111:.NET Project | 3.75 | 30.0 |
| - 5MMTLSFT:Software testing & reliability, fault tolerance | 1.75 | 18.0 |
| - WMMF331:Parallel computing for financial applications | 1.75 | 18.0 |
| - 5MM253C3:High performance computing for mathematical models | 1.75 | 18.0 |
| - 5MMMVSCT:MODELING AND VERIFICATION OF CONCURRENT AND REAL-TIME SYSTEMS | 1.75 | 18.0 |
| - 5MMPMP:Modelisation and Programmation Project | 2.0 | 18.0 |
| - 5MMARC:Distributed Applications and the Cloud | 3.0 | 30.0 |
