Haifa Verification Conference 2011
December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel
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.
|Tutorials day:||December 5, 2011|
|Conference gathering:||December 6-8, 2011|
|Final Version:||January 31, 2012|