Haifa Verification Conference 2011
December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel
Call for Papers
Research and practice in system verification and testing are 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.
As in previous years, HVC 2011 plans to publish its post-proceedings as a Springer's Lecture Notes in Computer Science (LNCS) volume. In addition, HVC 2011 plans to invite the authors of the top 10%-20% accepted papers to submit revised versions of their work to a special issue of a journal. HVC further plans for its papers to become accessible via the Web of Knowledge.
We are planning a number of keynote and invited presentations.
The lovely city of Haifa resides on Mount Carmel 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 the IBM R&D Labs, situated at the top of the mountain.
HVC best paper and best student paper awards: a special session will present and award the best regular and student papers. These will be selected by a special committee.
Social events include an excursion, a reception, and an optional weekend in Jerusalem after the conference.
All submitted papers should be in LNCS format. For details, see: http://www.springer.com/east/home/computer/lncs.
There are two categories of submissions:
- Regular papers:
Regular paper submissions should describe original and unpublished work. Simultaneous submission to other conferences with proceedings or submission of previously published material is strictly forbidden. Regular papers should not exceed fifteen (15) pages in LNCS format. Submissions will be accepted in electronic form (pdf or postscript), via the easychair portal.
An early email to conference chairs with your intention to submit a paper would be appreciated.
- Tools and experience papers:
Tool submissions should describe a new tool and its features, and demonstrate its effectiveness using experimentation. Tools and experience papers are required to show significant advancements compared with existing tools. Tools and experience papers should not exceed five (5) pages in LNCS format. Tool presentations are expected to include a short demo.
We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers.
We will post more details closer to the deadline.
|Tutorials day:||December 5, 2011|
|Conference gathering:||December 6-8, 2011|
|Final Version:||January 31, 2012|
Onn Shehory, IBM Israel
Kerstin Eder, University of Bristol
João Lourenço, New University of Lisbon
Springer Lecture Notes in Computer Science.