20th International Conference on
Computer Aided Verification (CAV) 2008
July 7 – 14, 2008
Princeton, USA

Registration

Fees

All fees are in US Dollars.

Registration Categories

Registration Deadlines

The deadlines for the various registrations are:

CAV Registration Fees

GeneralStudent
Early425275
Regular500325
Late575375

Workshop Registration Fees

Two Day Workshops
GeneralStudent
Early/Regular130100
Late170120

One Day Workshops
GeneralStudent
Early/Regular7050
Late9070
Workshop Only Charge
A charge of $25 will be imposed to cover materials cost if you are registering only for workshops and not for CAV. This charge is the same for a General/Student attendee.

What Registration Fees Cover

CAV
Workshops

What Registration Fees Do NOT Cover

Lunches
Lunches are not covered by the conference or workshop registration fee.
Manhattan Cruise Excursion
The Manhattan Cruise Excursion on July 12 (Saturday) is not covered in the conference registration fee. Tickets for the excursion may be purchased for $60 at the time of registration. This option is available on a limited basis.

We have added a second bus for this excursion. If you would like to join the excursion, please send email to sweber (at) princeton.edu . You can pay onsite at the registration desk by cash or check.

Refund Policies

For cancellations and refunds, please notify Tara Zarillo by email tlreilly (at) princeton.edu. An acknowledgement will be returned to you by email.

Payment Methods

You can pay your registration fees by:

Online Registration

Please follow this link for General attendee registration.

Please follow this link for Student attendee registration.