HVC 2011
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.
|
|
(Samoa Timezone) |
|
|
|
|
|
|
|
|
|
| Tutorials day: | December 5, 2011 |
| Conference gathering: | December 6-8, 2011 |
| Final Version: | January 31, 2012 |
Sponsors
