CVT WORKSHOP, 2015

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


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

register now

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

http://www.campusinn.com/

 campus_Inn

 


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

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


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/

Ann Arbor MI Street Art