[ 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 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