ARTIST Quantitative Model Checking Winter School 2012

February 27th - March 1st 2012      Copenhagen, Denmark organised and funded by ARTIST 


Registration to the school is now closed.

Please do not pay any fee without taking contact to Louis-Marie Traonouez first.
The registration fee for the school is 1200 DKK, and your registration is only valid once we have received the fee at the following bank account:

Aalborg Universitet
Fredrik Bajers Vej 5
9100 Aalborg

CVR nr.

VAT. no.
DK 29102384

Danske Bank
Algade 53, 9000 Aalborg

Reg. nr: 3201
Konto nr: 9189629

IBAN nr: DK6730000009189629


Please state ”63343 + your name + your affiliation” on the statement of the transfer. It is important that you specify "63343" as a reference; otherwise our accounting system will not know the purpose of the transfer and we might not receive your money. Please note that due to technical limitations on our side, payment by credit card is not possible.

The registration fee covers meals and refreshments during the school and a social event. Please take care that all fees for transfer, currency conversion etc. are payable by you, so that we receive the exact amount of 1200 DKK. Your registration will be acknowledged once we receive the fee.

Note that we have a no-refunds policy. Once your registration has been received, no refunds will be possible. Also, the number of participants is limited, so we recomend early registration. The deadline for registering is the 7th of February.

For any question contact Louis-Marie Traonouez.

Participants successfully completing the school will be awarded 2 ECTS.

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

Réalisation Axome - Création de sites Internet