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


Venue & Travel

The HVC 2011 conference and the tutorials will be held at the IBM Haifa facility on December 5-8. The IBM Haifa site is located at the edge of the Haifa University campus, to the left of the Eshkol Tower on the campus map.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science



HVC 2011 Poster

HVC 2011 Poster