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


Submission

Paper submission is now closed.

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.

Submission and review policy

Submitted papers will be blind-reviewed by members of the program committee. It is planned for each paper to have at least two reviews. Based on reviewers' recommendations, the program co-chairs and the general chair will make the final decision on acceptance and notify the contact author. Please note that HVC allows submissions by program committee members. It also allows submissions by program and general chairs. To guarantee fairness of the review process in such cases, organizers who are authors of submitted papers will be excluded from the review and the decision process regarding their papers. Other organizers will be appointed to handle their papers. If a paper was co-authored by one of the chairs, the two other chairs will handle that paper. Details of the review process and acceptance decisions will be recorded and kept confidentially to allow auditing and maximize fairness.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science



HVC 2011 Poster

HVC 2011 Poster