The Consortium for Verification Technology (CVT) invites you to participate in this year’s annual CVT Workshop. The workshop will be held at the Michigan League on campus at the University of Michigan, October 31 - November 1. A welcome dinner will be held the evening of October 30.
This year’s workshop theme of Transition will highlight the transition of technologies and students to the national laboratories, academia, government, and industry. Event activities will include presentations by CVT faculty, students, and national laboratory partners.
Additional information can be found online at the CVT Website here: http://cvt.engin.umich.edu/cvt-workshop-2018/.