Skip to main content


HVC 2011
Haifa Verification Conference 2011

December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


 

HVC 2011 is the seventh in the series of annual conferences dedicated to advancing the state-of the-art and state-of-the-practice in verification and testing of hardware and software. The conference provides a forum for researchers and practitioners from both academia and industry to share their work, exchange ideas, and discuss challenges and future directions of testing and verification for hardware, software, and hybrid systems.

Academic research in system verification and testing is roughly divided into two major paradigms—formal verification and dynamic verification (testing). Within each paradigm, algorithms and techniques may differ considerably between hardware-related solutions and software-related solutions. However, the common underlying goal of these techniques, across paradigms and system types, is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together researchers and practitioners from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains. HVC 2011 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware, and hybrid systems.

The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia. Technical papers will be published in Springer's Lecture Notes in Computer Science (LNCS) series. Selected papers will be considered for a special issue of the Software Tools for Technology Transfer (STTT) journal.

The conference will take place at the IBM Research – Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel.


Important dates
Submission deadline: August 24, 2011 @ 23h59
(Samoa Timezone)
Author notification: September 19, 2011
Student & poster event submission deadline: **EXTENDED** October 1, 2011
Student & poster event notification: October 3, 2011
Tutorials day: December 5, 2011
Conference gathering: December 6-8, 2011
Final Version: January 31, 2012

Sponsors


Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science



HVC 2011 Poster

HVC 2011 Poster

IBM Research Cadence Mentor Graphics JASPER