Description

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/. ​

Start Your Registration