Clarke Symposium 2014:
Celebrating 25 Years of Model Checking

Travel, Accommodation, and Logistics

A block of rooms at the special CMU single rate of $141/night has been reserved at the Wyndham Hotel University Center. To take advantage of this discounted rate, rooms must be booked by August 28, 2014. Rooms may be reserved online here. Enter the Group Code 09186841EC under "Special Rates and Codes" to receive the reduced rate. You can also call the hotel directly at 412-682-6200 and speak to a reservations expert.

The Wyndham, University Center
100 Lytton Avenue
Pittsburgh, PA 15213 (Oakland Area)
phone: 412.682.6200 website (Please contact hotel directly.)

Room Block: Please identify the group Ed Clarke Symposium or 09186841EC
Available Dates: Thurs. Sept. 18 - Sat. Sept. 20, 2014
Rate: $141/night (plus taxes)
Parking: $10.00/day
Room Cut-Off Date: Thurs. Aug. 28th, 2014

All Clarke Symposium talks will take place in the Gates Hillman Center on Carnegie Mellon Campus, (campus map). Please see specifics regarding the schedule here.

Driving directions to campus can be found here.

Local Restaurants:

Shadyside: S. Craig St.:
Oakland: On Campus:
Squirrel Hill: Mt. Washington: