On-Site Registration

New:  All further registration is on-site, at the site of workshops in the Crowne Plaza hotel on Saturday and Sunday, and in Heidelberg Stadthalle from Monday morning on.

Online registration described below is now closed, but we will gladly accept further registrations for the workshops and the main conference. The caveat is that banquet space is limited, so it could be that no banquet tickets are available by the time you do on-site registration.

Information Below is for Historical Use

Registrations will be done online through Participants may pay instantly using their credit card (VISA/MASTERCARD), or they may choose to pay through the bank. A one-stop-shop software is used for the whole registration process, The whole process is very easy to use, secure, and can be completed in a few minutes.

Registration Steps

  • Create an “easyconferences” account through
  • Activate your account by clicking on the activation link sent into your email account
  • Log into  and create your registration order form
  • Settle securely your order through the online credit card payment method

Cancellation and Refund Policy:

Requests for cancellation and refunds must be received no later than July 1st, 2017 and are subject to Euro 50 processing fee.
No refunds will be processed after this date.
Conference Organizers will accept a substitute at no additional cost, if a registered conference participant is unable to attend the conference.

Schedule of fees:

On or before June 14 After June 14
General event (normal): 650 € 800 €
General event (student): 450 € 500 €
Extra banquet ticket 80 € 80 €
Workshops (normal): 250 € 300 €
Workshops (student): 175 € 225 €
One day registration*: 175 € N/A

*only for workshops (either July 22 or July 23), only available before June 14.

Student fellowship

CAV provides limited financial support for student travel to the conference and affiliated events. Students studying at US universities are invited to apply through the following link (whether you are an author at this year’s CAV or not):

Other students should consider the Verification Mentoring Workshop for support. Questions may be sent to the CAV Fellowship Chair, or the VMW organizers.