CAV 2004: 16th Intl Conf on Computer Aided Verification

Online Registration (Early Deadline: June 16)

Accomodations

Conference Hotel

CAV 2004 will be held (together with ISSTA) at the Omni Parker House Hotel. Rooms will be available at a special conference rate of $159.00 plus tax per night, and these rates will also be active (subject to room availability) from 3 days before up until 3 days after ISSTA/CAV.

To reserve your room, use the Omni Parker House Hotel's online reservation system. This link connects you to an ISSTA/CAV-specific page, on which you should indicate that you are part of the "General Block". You will not need any access code to complete the registration.

Dorms at Emerson College

Emerson College is located at the intersection of Tremont and Boylston. It's a short walk (5 minutes) to the Omni Parker House Hotel.

The rate for the dorm rooms is $51 per night, and rooms can be booked by calling 1-617-824-8554 (Monday--Wednesday, 9am--5pm EST). Rooms are airconditioned with shared bathrooms.


Back to the homepage of CAV 2004