HVC 2009Haifa Verification Conference 2009

October 19-22, 2009Organized by IBM R&D Labs in Israel

Call for Papers

HVC 2009 is the fifth in a 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.

Verification methods are 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. We encourage submission of works that exemplify
the successful integration of ideas from these different domains of expertise.

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS). In
addition, the top 10%-20% papers accepted to HVC'09 will be invited to submit journal versions of their work to a special edited issue
of STTT (http://sttt.cs.uni-dortmund.de/).

Topics of interest to the conference include, but are not limited to:

Simulation-based verification

Formal verification methods

High-level stimuli generation

Model checking

Equivalence checking

SAT-based verification algorithms

Classification of hardware bugs

Static analysis

Design for verifiability

Concurrency testing

Hardware/software co-verification

Debugging

Emulation and acceleration

Defect prevention

CSP-based functional verification

Test-driven development

Hybrid verification methods

Model-based testing

Verification coverage

Developer testing

Formal specification Languages

Review and inspection

Semi-formal verification

Pair testing and first testing

Test automation frameworks

Automatic test generation

Venue

The lovely city of Haifa resides on a mountain overlooking the
Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa
is also the world center of the Baha'i faith, and the wondrous Baha'i
gardens are a must-see attraction. The conference will be held in the
modern building of the IBM R&D Labs, situated at the top of the
mountain.

Paper submission:

Regular papers:
Regular paper submissions should describe original and unpublished
work. Simultaneous submission to other conferences with proceedings or
submission of previously published material is strictly forbidden.
Regular papers should not exceed fifteen (15) pages in LNCS format.
Submissions are accepted in electronic form (pdf or postscript), via
the conference website: http://www.haifa.ibm.com/conferences/hvc2009/

Tool papers:
Tool submissions should describe a new tool and its features, and
demonstrate its effectiveness using experimentation. Tool papers are
required to show significant advancements compared with existing tools.
Tool papers should not exceed five (5) pages in LNCS format. Tool
presentations are expected to include a short demo.