FINAL CALL 2nd International PhD School on Quantitative Model Checking



FINAL CALL 2nd International PhD School on Quantitative Model Checking

From: Andrzej Wąsowski <wasowski_at_itu.dk>
Date: Thu, 26 Jan 2012 07:57:11 +0100
Message-ID: <4F20F947.7000108@itu.dk>
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

http://itu.dk/qmc2012/
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 (lmtr@itu.dk) and paying the 
registration fee. More information available at 
http://www.itu.dk/qmc2012/ . The number of seats is limited.

Registration cost: 1200 DKK

Kim G. Larsen
Axel Legay
Andrzej Wasowski

-- 
Andrzej Wąsowski, PhD, http://www.itu.dk/~wasowski/
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