Logo
Third International Workshop on
Verification, Model Checking and Abstract Interpretation

Home

Call for papers

Program committe

Registration

Conference program

Accomodation

General Information

 

 

 

 

 

 

 

 

   

Registration

To register, please fill in the enclosed registration form and send it by email to cortesi@dsi.unive.it.

It is recommended that you send your registration form by January 7, 2002.

There is a registration fee of € 300.00. This includes admission to the scientific sessions, coffee breaks, two lunches, the proceedings booklet and the social dinner. The registration fee for full-time students is € 200.00.

The registration fee should be paid on-site at the registration desk (unfortunately only cash can be accepted). Extra social dinner tickets can be purchased at the cost of € 70.00 each: if you need extra tickets, please let us know at least 15 days in advance.