Haifa Verification Conference 2010
October 5-7, 2010
Organized by IBM R&D Labs in Israel
|Call for Papers|
Verification methods are 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. We encourage submission of works that exemplify the successful integration of ideas from these different domains of expertise.
As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS). In addition, the top 10%-20% papers accepted to HVC'10 will be invited to submit journal versions of their work to a special edited issue of STTT.
We are planning a number of keynote and invited presentations.
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 the IBM R&D Labs, situated at the top of the mountain.
HVC Award: a special session will present a collection of the best published
works of the last five years. These will be selected by a special committee and
will present state-of-the-art theoretical advancements that have been
achieved during the preceding five years.
A “Best Paper Award” will be handed out.
Social events include an excursion, a cocktail party, and an optional weekend in Jerusalem after the conference.
All submitted papers should be in LNCS format. For details, see:
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.
- Tool papers:
Tool submissions should describe a new tool and its features, and demonstrate its effectiveness using experimentation. Tool papers are required to show significant advancements compared with existing tools. Tool 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 know more details closer to the deadline.
|Final Version:||November 14, 2010|