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


Accommodation

Please consult the interactive map for specific location information.

HVC has arranged special rates for conference participants at the following hotels:

All the hotels below are located in the center of the Carmel, which is about 20 minutes drive by taxi to IBM. One exception is the Leonardo Hotel, which is located near the sea, and the drive from there may take 30 minutes in the mornings and possibly more (45 min, and sometimes more) in the afternoons, due to the traffic.

Hotel Crowne Plaza Haifa
A block of rooms has been set aside for our group under the name "HVC'10" at a rate of $130 for a single room and $170 for a double (B&B). An additional person in the room costs $30.

For reservations, please send an e-mail to: business@hiil.co.il. Please indicate the name of the conference (HVC'10) when you make your reservation. The cut-off date for holding this block is September 14, 2010, so participants are encouraged to book early. After this date, reservations will be on the basis of availability, but you'll still be entitled to the special rate.

Hotel Dan Gardens Haifa
A block of rooms has been set aside for our group under the name "HVC'10" at a rate of $80 for a standard room and $95 for a double (B&B). An additional person in the room costs $15.

For reservations, contact: office: +972-3-5204666 Fax : +972-3-5480222, email: shellach1@danhotels.com. Regardless of which method of contact you choose, please indicate "IBM Rate/ HVC'10" when you make your reservation. The cut-off date for holding this block is September 14, 2010, so participants are encouraged to book early. After this date the reservation will be on the basis of availability, but you'll still be entitled to the special rate.

Hotel Dan Panorama Haifa
A block of rooms has been set aside for our group under the name "HVC'10" at a rate of $142 for a superior room and $160 for an executive room (B&B). An additional person in the room costs $35.

For reservations, contact: office: +972-3-5204666 Fax : +972-3-5480222, email: shellach1@danhotels.com. Regardless of which method of contact you choose, please indicate "IBM Rate/ HVC'10" when you make your reservation. The cut-off date for holding this block is September 14, 2010, so participants are encouraged to book early. After this date the reservation will be on the basis of availability, but you'll still be entitled to the special rate.

Hotel Dan Carmel Haifa
A block of rooms has been set aside for our group under the name "HVC'10" at a rate of $172 for deluxe room (B&B). An additional person in the room costs $45.

For reservations, contact: office: +972-3-5204666 Fax : +972-3-5480222, email: shellach1@danhotels.com. Regardless of which method of contact you choose, please indicate "IBM Rate/ HVC'10" when you make your reservation. The cut-off date for holding this block is September 14, 2010, so participants are encouraged to book early. After this date the reservation will be on the basis of availability, but you'll still be entitled to the special rate.

Hotel Leonardo Haifa
A block of rooms has been set aside for our group under the name "HVC'10" at a rate $135 for a superior room, $150 for a junior room and $175 for a deluxe room (B&B). An additional person in the room costs $25. If more than three guests are staying at the hotel, there will be complimentary transportation to the conference venue in the mornings.

For reservations, contact: office: +972-4-8508803 Fax: +972-4-8500222 email: mh_rs2@fattal.co.il. Regardless of which method of contact you choose, please indicate "IBM Rate/ HVC'10" when you make your reservation. The cut-off date for holding this block is September 14, 2010, so participants are encouraged to book early. After this date the reservation will be on the basis of availability, but you'll still be entitled to the special rate.

























Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science