Formal Reasoning (UL, France)

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.