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

Local Information

Please consult the interactive map for specific location information.


Participants from most EU countries and the USA do not need visas to Israel. For participants from other countries, we suggest you check with your travel agent, local Israeli embassy, or consulate.

All visitors to Israel must hold a passport that is valid for at least six months from the date they enter the country. Please contact the conference secretariat if a letter of invitation is needed to assist in applying for a visa. Refer to the Israeli tourism site for information on Israeli visas.


Participants are advised to purchase comprehensive travel insurance coverage. The conference organizers shall not be liable for any loss or damage to property belonging to conference participants nor for personal injuries sustained during or as a result of the HVC 2010 Conference.

Airport Information

Ben Gurion International Airport is the main international gateway to and from Israel. It is situated approximately 50km (31 miles) west of Jerusalem.

Climate and Clothing

It is autumn in Israel in October. Days can be rainy and cold. In other years it might be relatively warm. Average temperatures: 18C - 28C (65F - 82F). Casual dress is appropriate for all conference occasions. Sunscreen, a sun hat, and sunglasses are essential items throughout the year.


The voltage in Israel is 220-240 volt AC.


Stores are generally open Sunday through Thursday 09:00-19:00 and Friday 09:0014:00. Most shopping malls are open also on Saturday from one hour after sundown until 22:00. All "Superpharm" and "Newpharm" stores include a pharmacy.

Banking and Changing Money

Banks are open Sunday through Thursday 08:30-12:00 and on some afternoons. Hours vary by branch. All banks are closed on Fridays and Saturdays.

The New Israeli Shekel (NIS) is the official currency in Israel. Foreign currency of all kinds may be exchanged at the airport, banks, post offices, most hotels or licensed exchange agencies. Most if not all establishments that accept credit cards will honor cards issued outside of Israel. These cards will also work in most ATMs to withdraw NIS or $US.


Ben-Gurion International Airport - Haifa: 100km/ 62.5 miles
Ben-Gurion International Airport - Tel-Aviv: 15km/9.5 miles
Ben-Gurion International Airport - Jerusalem: 47km/ 29.5 miles
Haifa - Tel Aviv: 95km/59 miles
Haifa - Jerusalem: 145km/91 miles /p>

Tourism Information

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science