Haifa Verification Conference 2011
December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel
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.