Modules available from Universite de Lorraine (UL)
Modules available from Universite de Lorraine (UL):
Students may study in Université de Lorraine, 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.
UHP offers three core modules in the formal reasoning stream and a number of specialized modules in the area of mathematical foundations and formal reasoning. The Erasmus Mundus Masters Programme will focus the students on this area. 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. Further information is available at http://www.master-info.uhp-nancy.fr/lmfi.html. Please consult the associated integration requirements for further details.
The academic calendar for UL can be found by clicking here Academic calendar UL 2012-2013.pdf
|
Modules Available |
Stream: Formal Reasoning (68 ECTS Offered, 60 ECTS taken) |
|
Core Taught Modules (18 ECTS): |
|
|
Advanced Software Engineering: Modeling and components |
6 ECTS |
|
Automated Verification |
6 ECTS |
|
Non-Classical Logic |
6 ECTS |
|
Specialisation Modules: In consultation with staff, students choose at least 22 ECTS from 30 |
|
|
Abstraction and Refinement |
3 ECTS |
|
Semantics and Proofs |
3 ECTS |
|
Rewrite Systems for Computation and Proof |
3 ECTS |
|
Decision Procedures and Program Verification |
3 ECTS |
|
Semantics of Parallel and Distributed Systems |
3 ECTS |
|
Distributed and Collaborative Systems |
3 ECTS |
|
Web Services Security |
3 ECTS |
|
Real-Time Systems |
3 ECTS |
|
Game Theoretic Approaches for Verification of Distributed Algorithms |
3 ECTS |
|
Cryptology and Arithmetic |
3 ECTS |
|
Core Project Module (20 ECTS): |
|
|
Project (Early May -> Mid August) |
20 ECT |
Table 2.3 Modules offered at L’Université Henri Poincaré
