Quantitative Model Checking 2010

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

Social event

Wednesday or Thursday afternoon we plan to go for a boat trip along the canals and harbors of Copenhagen. We will finish the day by a school dinner.

You can purchase extra tickets for the social event in case you want to bring somebody with you. The price for a ticket is 400 DKK. One ticket is included in the registration fee, so for any extra ticket, just add 400 DKK to your bank transfer. (We may also have a limited number of extra tickets available for purchase at the school, but the safest is to pay them during registration already.)


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

Réalisation Axome - Création de sites Internet