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

Local Information

Dining Recommendations

Other Links

Fun things to do in and around Princeton

From Genius to Genius: A Walking Tour in Princeton

Albert Einstein

Visit the Princeton Battlefield. Here is a NY Times article on visiting the Battlefield — this is a story from 1916!

If you are also a fan of the arts, you would enjoy visiting Grounds for Sculpture 30 minutes from Princeton, in Hamilton.

Check out some excellent suggestions for nice things to do around Princeton.