WELCOME
The Consortium for Verification Technology (CVT) invites you to participate in this year’s annual CVT Workshop held at the beautiful Dahlmann Campus Inn in Ann Arbor, Michigan.
The workshop will feature CVT research efforts from the inaugural year of our project. Event activities will include talks provided by our faculty as well as posters to be presented by our talented students and postdoctoral fellows. Breakfast and lunch will be provided during both days of our event as well as a participant dinner at Savas restaurant the evening of October 15 (http://savasrestaurant.com/).
AGENDA
View the full workshop agenda by clicking here!
RESTAURANT GUIDE & WATERING HOLES
Check out the local restaurants and watering holes all within walking distance of the Campus Inn. Expect a the town to be abuzz with excitement for the upcoming football weekend where the University of Michigan Wolverines will host the Michigan State Spartans!
REGISTRATION
Registration Fee: $150
Registration closes September 15, 2015! Please register ASAP! Your registration allows us to accurately prepare for our event.
EVENT DETAILS
October 15 & 16, 2015
|
The Dahlmann Campus Inn 615 E Huron St., Ann Arbor, MI |  |
ACCOMMODATIONS
The Campus Inn
- 734-769-2200, http://www.campusinn.com/
- $205/night, 5 rooms available
- reserved under CVT Workshop
- The workshop will be held at this location
Inn At the Michigan League
- 734-764-3177, http://uunions.umich.edu/league/inn/
- $120/night, 13 rooms
- reserved under CVT Workshop
- 0.5 miles from the Dahlmann Campus Inn
Kensington Court
- 734-761-2929, http://www.kcourtaa.com/
- $110/night, 20 rooms available
- reserved under CVT Workshop
- 3 miles from the Dahlmann Campus Inn
- Shuttle Available
Hampton Inn, Ann Arbor North
- 734-996-4444, http://hamptoninn3.hilton.com/en/hotels/michigan/hampton-inn-ann-arbor-north-ARBGRHX/index.html
- $144/room, 15 rooms available
- reserved under CVT Workshop
- 4 miles from the Dahlmann Campus Inn
PARKING
Parking at the Dahlmann Campus Inn is limited.
City parking is available. The nearest parking structure is located at the Library Lane Parking Structure, 319 S 5th Ave, Ann Arbor, 48104.
ANN ARBOR ACTIVITIES & EVENTS
Experience Ann Arbor during the beautiful fall months as you wander one of America’s Best Main Streets! Explore the cross-country trails or explore great museums including three on the campus of the University of Michigan. Don’t miss our world-class dining and theatre when you visit!
On October 17th, the University of Michigan Wolverines will face the Michigan State Spartans in a battle between 2 BIG 10 football teams. More information can be found through the Wolverine team website at MGOBLUE.com
Start planning your Ann Arbor experience by visiting http://www.visitannarbor.org/