[TYPES/announce] Call for Participation -- Quantitative Model Checking PhD School
Joost-Pieter Katoen
katoen at cs.rwth-aachen.de
Mon Dec 28 15:40:32 EST 2009
CALL FOR PARTICIPATION
Quantitative Model Checking PhD School
QMC 2010
March 2-5, 2010
IT University, Copenhagen, Denmark
ARTIST Design / MT-LAB
We are pleased to make this first announcement and call for
participation in the PhD school on Quantitative Model Checking
organized by the European Network of Excellence ARTIST Design and the
Danish VKR Center of Excellence MT-LAB to be held at the IT University
in Copenhagen, Denmark on March 2-5, 2010. Please distribute to all
interested parties.
The School will feature lectures and other activies within the areas
of finite-state, real-time, probabilistic, and hybrid model checking.
The lectures will present advances within this broad field of
quantitative model checking, providing in-depth account of
state-of-the-art modeling and logical formalisms, model checking
algorithms as well as practical applications and offering hands-on
experience of state-of-the art quantitative model checking tools.
The 12 lectures are among the top international researchers within the
field and features:
* Finite-state model checking:
Pierre Wolper (Universite de Liege, B)
Alessandro Cimatti (Trento, I)
Keijo Heljanko (Helsinki University of Technology, F)
* Real-time model checking:
Patricia Bouyer (ENS Cachan, F)
Nicolas Markey (ENS Cachan, F)
Kim G. Larsen (Aalborg University, DK)
* Probabilistic model checking:
Joost-Pieter Katoon (RWTH Aachen, D)
Christel Baier (TU Dresden, D)
David Parker (University of Oxford, UK)
* Hybrid model checking:
Martin Fränzle (Carl von Ossietzky University Oldenburg, D)
Jean-François Raskin (Universite Libre de Bruxelles, B)
Goran Frehse (Verimag, Grenoble, F)
More information and on-line registration is available at
http://www.cs.aau.dk/~uli/qmc/
**************
Program Chairs
Kim G. Larsen, Aalborg University, DK
Joost-Pieter Katoen, RWTH Aachen University, G
Organization Chair
Andrzej Wasowski, IT University, Copenhagen, DK
Publicity Chair
Uli Fahrenberg, Aalborg University, DK
Host Organizations
ARTIST Design: www.artist-embedded.org/artist
MT-LAB: www.mtlab.dk
More information about the Types-announce
mailing list