Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Haifa Verification Conference 2008

IBM Haifa Labs

Call for Papers

October 27-30, 2008
Organized by IBM Haifa Research Lab

HVC 2008 is the fourth 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.

Verification methods are generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different techniques are used for hardware and software systems. HVC is the only conference that brings together researchers from all verification fields, thereby encouraging the migration of methods and ideas between domains. We encourage submission of works that exemplify the successful integration of ideas from different domains of expertise.

The Prceedings will be published by Springer in its Lecture Notes in Computer Science (LNCS) series. Selected papers will be considered for a special issue of the STTT journal.

Topics of interest to the conference include, but are not limited to:
  • Simulation-based verification
  • High-level stimuli generation
  • Equivalence checking
  • Classification of hardware bugs
  • Design for verifiability
  • Hardware/software co-verification
  • Emulation and acceleration
  • CSP applications in functional verification
  • Hybrid verification methods
  • Verification coverage
  • Formal Specification Languages
  • Semi-formal verification
  • Test automation frameworks
  • Formal verification methods
  • Model checking
  • SAT-based verification algorithms
  • Static analysis
  • Concurrency testing
  • Debugging
  • Defect prevention
  • Test-driven development
  • Model-based testing
  • Developer testing
  • Review and inspection
  • Pair testing and first testing
  • Automatic test generation

Paper submission:
Authors are invited to submit papers describing original, unpublished work. Papers are to be submitted electronically through the conference web page, in LNCS format ( The page limit is fifteen (15) for regular papers and five (5) for tool papers. Simultaneous submission to other conferences is not allowed.

There are two categories of submissions:
  • 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:
    An early email to conference chairs Hana Chockler and Alan Hu with your intention to submit a paper would be appreciated.
  • 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.

Student grants:
We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers.

Important dates:
Abstracts submission deadline: July 16, 2008
Full papers submission deadline: July 20, 2008 (Ended)
Author notification: August 31, 2008
Conference gathering: October 28-30, 2008
Final version: November 20, 2008


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research