HVC 2013 is the ninth 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.

Important Dates

Abstract submission deadline:

July 30, 2013 - 11.59pm Aleutian Standard Time

Paper submission deadline:

July 30, 2013 - 11.59pm Aleutian Standard Time

Author acceptance notification:

August 25, 2013

Final manuscripts due:

September 5, 2013

Unlike previous years, in HVC 2013 the conference proceedings will be published before the conference starts in Springer's Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference on upon registration.