Quantitative Model Checking 2010

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

Organizers

The PhD school is organized by Kim G. Larsen and Joost-Pieter Katoen (program co-chairs), Andrzej Wąsowski (organization chair) and Uli Fahrenberg (publicity chair).

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

Réalisation Axome - Création de sites Internet