Skip to main content

HVC 2009
Haifa Verification Conference 2009

October 19-22, 2009
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

Haifa General Information


European power is 220 V/50 Hz. Most, but not all ThinkPad AC adapters will accommodate this; check before leaving. You will need a Europe/US outlet adapter, these can often be found in US airport shops or can be ordered from

The work week in the IBM R&D Labs in Israel and throughout Israel is from Sunday to Thursday.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science