Workshops Venue
CAV workshops will be held at the University of Toronto in the Bahen Centre for Information Technology at 40 St. George Street: https://goo.gl/maps/
July 17-18, 2016
- NSV – Numerical Software Verification (July 17: Room 1170, July 18: Room 2165)
- VSTTE – Verified Software: Theories, Tools, and Experiment (July 17, 18: Room 1190)
- SYNT – Workshop on Synthesis (July 17: Room 1210, July 18: Room 1170)
July 18, 2016
- (EC)2 – Exploiting Concurrency Efficiently and Correctly (Room 3116)
- HCCV – High-Consequence Control Verification (Room 2195)
- VMW – Verification Mentoring Workshop (Room 1200)
For further enquiries or information, please contact:
Zachary Kincaid (CAV 2016 Workshop Chair)
University of Toronto
email: zkincaid@cs.toronto.edu
http://www.cs.toronto.edu/~zkincaid