Quantitative Model Checking 2010

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

Related events

Note that there is another PhD school with slight thematic overlap which takes place only 10 days later: the AVACS spring school on Automatic Verification and Analysis of Complex Systems in Oldenburg, Germany. Participating in both schools should be especially interesting for students coming from far away. The focus of the AVACS school is formal methods for complex systems.

For students which are interested in participating in both schools, we have the possibility to offer a visit to one of the participating universities during the week in-between the two schools. Please take contact to uli@cs.aau.dk if you are interested.

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

Réalisation Axome - Création de sites Internet