FINAL CALL 2nd International PhD School on Quantitative Model Checking

FINAL CALL 2nd International PhD School on Quantitative Model Checking

From: Andrzej Wąsowski <>
Date: Thu, 26 Jan 2012 07:57:11 +0100
Message-ID: <>
This PhD school is of potential interest to the software engineering 
community, since model-checkers and modeling tools for processes are 
often used as analyzers in research-based software engineering tools.

Final Call for Participation:
2nd International PhD School on Quantitative Model Checking
Copenhagen 27 Feb - 1 Mar
Registration Deadline: February 7th, 2012
(registration information is now online)

The European Network of Excellence ARTIST Design is organizing a PhD
school on Quantitative Model Checking to take place at IT University of 
Copenhagen from 27 February to 1 March 2012.

The School will feature lectures by world-renowned experts within the 
areas of discrete, real-time and probabilistic model checking.  As of 
today, the list of confirmed speakers is as follows:

Jan Tretmans - model-based testing
Wolfgang Thomas - games in model checking
Javier Esparza - verification of infinite state systems
Patrice Godefroid - software model checking
Holger Hermans - compositional stochastic modeling and verification
Axel Legay - statistical model checking
Joel Ouaknine - metric temporal logics
Andrzej Wasowski - compositional design & verification of real time systems

PhD students and others interested in this school can register by
sending an e-mail to Louis-Marie Traonouez ( and paying the 
registration fee. More information available at . The number of seats is limited.

Registration cost: 1200 DKK

Kim G. Larsen
Axel Legay
Andrzej Wasowski

Andrzej Wąsowski, PhD,
Associate prof., head of MSc Programme on Software Development
IT University, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark
office 2M27, phone +45 7218 5086, fax +45 7218 5001
Received on Thu 26 Jan 2012 - 06:57:17 GMT