Skip to main content


HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Venue & Travel

Please consult the interactive map for specific location information.

The tutorials day on October 4 will be held at the Caesarea Rothschild Institute (CRI), Room 570, Education and Sciences Building at the University of Haifa.

The main conference on October 5-7 will be held at the IBM Haifa facility, 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