Third International Workshop on
Verification, Model Checking and Abstract Interpretation


Call for papers

Program committe


Conference program


General Information











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.