Students may study in Université de Lorraine (UL), Nancy during year 1 or year 2 of their Erasmus Mundus MSc. To complete the requirements for the stream on formal reasoning students achieve 60 ECTS at Université de Lorraine. These ECTS will be achieved by completing 40 ECTS from taught modules and 20 ECTS from project work.
|
Modules Available |
Stream: Formal Reasoning (60 ECTS taken) |
|
Core Taught Modules (24 ECTS): Students choose 4 modules |
|
|
Formal System Modeling |
6 ECTS |
|
Advanced Software Engineering |
6 ECTS |
|
Automated Verification |
6 ECTS |
|
Logics and Proofs |
6 ECTS |
|
Security of Information Systems |
6 ECTS |
|
Specialisation Modules (16 ECTS): In consultation with staff, students choose 4 modules. |
|
|
Abstraction and Refinement |
4 ECTS |
|
Semantics and Proofs |
4 ECTS |
|
Rewrite Systems for Computation and Proof |
4 ECTS |
|
Decision Procedures and Program Verification |
4 ECTS |
|
Implicit Complexity |
4 ECTS |
|
Mechanization of Proof-search |
4 ECTS |
|
Cryptology |
4 ECTS |
|
Theory of Security and Applications |
4 ECTS |
|
Security of Web Services |
4 ECTS |
|
Web Services Security |
4 ECTS |
|
Real-Time Systems |
4 ECTS |
|
Core Project Module (20 ECTS): |
|
|
Project (Mid February -> mid June) |
20 ECT |
Table 2.3 Modules offered at Université de Lorraine
UL offers core modules in the formal reasoning stream and a number of specialized modules in the area of mathematical foundations and formal reasoning. All taught modules run in "semester mode", i.e. the taught material is covered throughout a semester. The teaching and assessment is a mix of practical laboratory work, tutorials, lectures and written examination, depending on the module. The modules selected for offer to students as a component of the Erasmus Mundus degree are presented in Table 2.3. Please consult the associated integration requirements for further details.