[TYPES/announce] FINAL CALL 2nd International PhD School on Quantitative Model Checking

Andrzej Wąsowski wasowski at itu.dk
Wed Jan 25 13:21:15 EST 2012

Final Call for Participation:
2nd International PhD School on Quantitative Model Checking
Copenhagen 27 Feb - 1 Mar

Registration Deadline: February 7th, 2012

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 at 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

More information about the Types-announce mailing list