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

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