Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Teaching - Supervision - Juries


The university employees of VeriDis (in Nancy) have statutory teaching obligations of 192 hours per year. We indicate the graduate courses that members of the team have been teaching in 2014.

Marie Duflot-Kremer taught a course on Introduction to Algorithmic Verification (first-year master level at Université de Lorraine). She and Stephan Merz also taught a course on Algorithmic Verification in the second year of master and for students of Erasmus Mundus Dependable Software Systems.

Pascal Fontaine is head of the Master MIAGE (Business Informatics) at Université de Lorraine since September 2014.

Stephan Merz taught a course on formal specification using TLA+ at the SPES_XT summer school on model-based development of embedded systems at the University of Twente (The Netherlands) in September.

Uwe Waldmann gave courses on Automated Reasoning I and II at Saarland University.

Christoph Weidenbach gave a course on Automated Reasoning I.



Stephan Merz served as a reviewer for the PhD theses of Nadezhda Baklanova (Univ. Toulouse 3), Claire Dross (Univ. Paris Sud), and Giuliano Losa (EPFL Lausanne).