HVC 2016 is the 12th in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing.

The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common underlying goal of these techniques is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.

HVC 2016 Best Paper

The best paper award was given to Nikolaj Bjorner, Garvit Juniwal, Sanjit A. Seshia, George Varghese and Ratul Mahajan for their paper titled: "ddNF: An Efficient Data Structure for Header Spaces".

Important Dates

Paper submission deadline: July 14, 2016
(11.59 pm GMT)

July 21, 2016
(11.59 pm GMT)
Author acceptance notification: September 5, 2016
Final manuscripts due: September 16, 2016
Poster submission deadline: September 30
(11.59 pm GMT)
Conference: November 14 - 17, 2016
Tutorials: November 14, 2016

The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).


Keynote Speakers


See us on Linked In See us on Facebook IBM Research Cadence Mellanox Mentor Graphics Qualcomm Intel