[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] 2nd Call for Participation -- QuantitativeModel Checking PhD School

[We apologize for multiple copies.]


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


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

qest-announce mailing list