Verification,
Model Checking and Abstract Interpretation
|
|
|
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. |