Submission to HVC students event is now open at the HVC EasyChair account.

The HVC 2010 award winners are (alphabetically): Clark Barrett, New York University Leonardo De-Moura, Microsoft Research Silvio Ranise, FBK Trento Aaron Stump, University of Iowa Cesare Tinelli, University of Iowa For having a pivotal role in the founding of the SMT community.

HVC 2010 is the sixth in the series of annual conferences dedicated to advancing the verification and testing of both hardware and software. The conference provides a forum for academia, industry, and the research and development community to share their work, exchange ideas, and discuss the challenges and future directions of verification for hardware, software, and hybrid systems.

Academic research in the verification of systems is generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems. Yet, at their core, all of these techniques aim to achieve the same goal of ensuring the correct functionality of a complicated system. HVC is the only conference that brings together researchers from all four fields, thereby encouraging the migration of methods and ideas between domains. To this end, we are announcing a special interest in hybrid methods for this year's conference. We encourage the submission of works that exemplify the successful integration of ideas from different domains of expertise.

The conference will involve the presentation of original, peer reviewed, technical papers and lectures by invited industrial and academic guests. Technical papers will be published in Springer's Lecture Notes in Computer Science series (LNCS). Selected papers will be considered for a special issue of the STTT journal. The event will take place at the IBM Research Lab in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel.

Important dates

Submission deadline:	July 18, 2010
Author notification:	August 22, 2010
Students event submission deadline:	August 22, 2010
Students event notification:	August 31, 2010
Conference gathering:	October 5-7, 2010
Final Version:	November 14, 2010

Sponsors