Logic List Mailing Archive

QMC 2010: PhD School on Quantitative Model Checking

2-5 March 2010
Copenhagen, Denmark

SECOND CALL FOR PARTICIPATION

                Quantitative Model Checking PhD School
                              QMC 2010
                           2-5 March 2010
                  IT University, Copenhagen, Denmark
                       ARTIST Design / MT-LAB


This  is  a  second  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 2-5
March 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  an  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  lecturers are among  the top international  researchers within
the field:

* Finite-state model checking:
       Pierre Wolper (Universite de Liege, B)
       Keijo Heljanko (Helsinki University of Technology, F)
       Alessandro Cimatti (Trento, I)

* 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, G)
       Christel Baier (TU Dresden, G)
       David Parker (University of Oxford, UK)

* Hybrid model checking:
       Martin Frnzle (Carl von Ossietzky University Oldenburg, D)
       Jean-Franois Raskin (Universite Libre de Bruxelles, B)
       Goran Frehse (Verimag, Grenoble, F)

More information and on-line registration are available at

                      http://qmc.cs.aau.dk

The  registration  fee is  1200  DKK  (approx.  160 Euro),  and  early
registration closes 13 February 2010.

**************

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