Accommodations
The IBM Haifa facility is located at the northwest corner of the University of Haifa campus. See map.
Parking lots will be available for HVC 2014 participants arriving with their private car.
Art Gallery Hotel
A block of rooms has been set aside for HVC 2014 at a rate of $82 for a Standard room, (single occupancy including breakfast)
For reservation, please contact the hotel reservation center directly: reservation@hotelgallery.co.il
Dan Carmel Hotel
A block of rooms has been set aside for HVC 2014 at a rate of $180 for a Deluxe Carmel room (single occupancy including breakfast).
For reservations, please contact the hotel reservation center directly: Svetlana.zebnizki@danhotels.com
Dan Gardens Haifa
A block of rooms has been set aside for HVC 2014 at a rate of $85 for a Standard room, $100 for a Superior room (single occupancy including breakfast).
For reservations, please contact the hotel reservation center directly: Svetlana.zebnizki@danhotels.com
Leonardo Hotel
A block of rooms has been set aside for HVC 2014 at a rate of $140 for a Superior room (single occupancy including breakfast). The hotel will provide transportation to the IBM site each morning of the conference.
For reservations, please contact the hotel reservation center directly: execlub@fattal.co.il
Hotel rates
When you contact the hotel of your choice, please indicate the name of the conference HVC 2014 IBM to obtain the conference rate.
All the above rates are directly from the hotel with no third-party involvement (non-commissionable).
We'd Be Happy to Assist
For any additional information or assistance, please feel free to contact the HVC local organizer Eti Jahr or the General Chair Ronny Morad.
Keynote Speakers
- Prof. Moshe Vardi, Rice University
- Wolfgang Roesner, Fellow, IBM
- Prof. Martin Vechev, ETH Zürich
- Harry Foster, Chief Verification Scientist, Mentor Graphics
- Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence
