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


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.

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.

The official language of the conference is English. Participation is free, subject to prior registration. See Program for the list of keynote and invited speakers.


The HVC 2008 proceedings are now available via Springer: LNCS 5394

HVC Award

The winner of the 2008 HVC Award is Ken McMillan for his work on interpolation with applications in formal verification. Ken will present his work in a special research session at HVC. More details on HVC Award.

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

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 IBM Haifa Labs, situated at the top of the mountain.



    About IBMPrivacyContact
IBM Research Cadence Mentor Graphics Synopsys Caesarea Rothschild Institute (CRI) IBM Research