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

Haifa Verification Conference 2007

IBM Haifa Labs


October 23 - 25, 2007
Organized by IBM Haifa Research Lab

Next year's conference - HVC'08

The best paper award goes to Benny Pasternak, Shmuel Tyszberowicz, and Amiram Yehudai for their paper "GenUTest: A Unit Test and Mock Aspect Generation Tool".

The winners of the 2007 HVC Award are Corina Pasareanu and Willem Visser for their work on combining static and dynamic analysis.

News: Special Journal Issue for HVC - The top 10%-20% of HVC'07 papers will be invited to submit journal versions of their work to a special issue of STTT.

HVC 2007 is the third annual conference 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). In addition, we plan to publish an edited journal issue with selected papers from the conference. The event will take place at the IBM Research Lab in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel.

The official language of the conference is English. Participation is free, subject to prior registration.

Keynote Speakers

  • Bob Bentley (Intel Corporation)
  • Aarti Gupta (NEC Labs America)

Invited Speakers

  • Alan Hu (Univ. of British Columbia)
  • Robert Kurshan (Cadence)
  • Wolfgang Roesner (IBM Austin)
  • Andreas Zeller (Saarland University)

HVC Award

The 2007 Haifa Verification Conference will provide an award for the most promising contribution(s) to verification published in the last year. The winners of the HVC award will be invited to present their work in a special research session at HVC'07. More details on HVC Award.


Important dates

Submission deadline: July 05, 2007
Author notification: August 15, 2007
Conference gathering: October 23-25, 2007
Final version: November 19, 2007


To see the HVC Conference 2007 poster, click here.


IBM Research  Caesarea Rothschild Institute (CRI)  Cadence 


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research