20th International Conference on
Computer Aided Verification (CAV) 2008
July 7 – 14, 2008
Conference Reception: Wednesday, July 9, 5:30-7:30pm
The conference reception at the conference location is open to all conference participants.
Conference Banquet: Thursday, July 10, 6:00-10:30pm
The conference banquet will be held at the Institute for Advanced Study (IAS) in Princeton. IAS has been the academic home for Albert Einstein and, more relevant to CAV, Kurt Gödel! The IAS campus is about 1.5 miles from the conference location. Participants may choose to walk there, or take the bus that will be provided for transportation both before and after the event. The conference banquet is included in conference registration for all participants. Extra tickets for the Banquet ($125) may be purchased at the time of registration.
Banquet shuttle bus schedule with map
Driving directions to IAS
Please note that the bus pickup/dropff locations are limited to
Friend Center, Nassau Inn, and Scully Hall. Hyatt residents should use carpool
arrangements, with signup sheets (for drivers and riders) near the conference
Manhattan Cruise Excursion: Saturday, July 12, 4:45-11:45pm
We will leave Princeton at 4:45 pm by private bus for Manhattan. In Manhattan we will take a one hour cruise around the island aboard the Zephyr starting at 7:30pm. After this participants are free to explore Manhattan and dine on their own. The bus will leave Manhattan at 10:30pm to return to the Princeton hotels. Tickets for the excursion ($60) may be purchased at the time of registration.
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.