[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                        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


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

Reply via email to