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

Conference Venue

The conference and affiliated workshops will be held at Friend Center, on the campus of Princeton University, located in Princeton, New Jersey.

Directory of rooms at Friend Center for CAV.

Conference attendees will have wireless internet access through the "puvisitor" wireless connection. Note that this is not a secure connection. (Depending on your email server, you might not be able to send outgoing email through this connection, but you can use your provider's webmail service.)

Information for Parking on Campus

Campus parking is available for attendees staying on campus in Scully Hall, or driving over to the conference.

Day parking is available on the top deck of Parking Garage #3 on Prospect Avenue. This is conveniently located close to the Friend Center, the conference venue. Please note that:

Overnight parking is permitted only in Parking Lot #23. Print and use this parking permit.

Princeton University Campus

Travel Information

Getting to Princeton

Princeton is conveniently located midway between New York and Philadelphia. The strongly preferred airport is Newark International Airport, though JFK and Philadelphia are also possibilities. The following information describes options for getting to Princeton from these airports.

Newark Airport

JFK Airport

Philadelphia Airport