Second Call for Participation:
2nd International PhD School on Quantitative Model Checking Copenhagen 27 Feb - 1 Mar
Registration Deadline: February 5th, 2012
This is the second call for participation in the 2nd International PhD school on Quantitative Model Checking organized by the European Network of Excellence ARTIST Design and MT-LAB Centre of Excellence.
The PhD school will 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 pre-register by sending an e-mail to Louis-Marie Traonouez (firstname.lastname@example.org). This will help us in planning the budget. Formal registration should be available soon. The number of seats is limited.
Registration cost: 1200 DKK
There will be a fee for participating in the PhD school to cover some of our expenses; the precise amount will be announced once our budget is in place. We may also have a small number of scholarships available to support PhD students without or with only limited funding.