Quantitative Model Checking 2010

March 2-5, 2010      IT University Copenhagen, Denmark organised and funded by ARTIST 

Quantitative Model Checking
PhD School, Copenhagen, 2-5 March 2010
An ArtistDesign – MT-LAB event

Download flyer (for two-side printing)

Download program (for two-side printing)

The PhD school on quantivative model checking, QMC 2010, is organized by the European Network of Excellence ARTIST Design and the Danish VKR Center of Excellence MT-LAB and takes place at the IT University Copenhagen from 2 to 5 March 2010. It features lectures and other activities by world-renowned experts within the areas of 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.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet