HVC 2009
Haifa Verification Conference 2009
October 19-22, 2009
Organized by IBM R&D Labs in Israel
| Social Events and Excursions |
|---|
Cocktail Party
All conference participants are invited to a cocktail party, scheduled to take place at the end of the second day (October 20), in the lobby of the IBM Haifa building.
Nazareth Tour
The ancient city of Nazareth is located in the Lower Galilee, just north of the Jezreel Valley, at the gateway of Israel's mountainous northern regions.
Situated about 30 km east of the Mediterranean and 20 km west of the Sea of Galilee, Nazareth was a small and insignificant village during the period of Jesus. While the site was settled during the period 600-900 BC, it was too small to be included in the list of area settlements in the Bible. Nazareth is considered to be the birthplace of Jesus according to the Gospels. Built on the southeastern slope of a ridge about 400 meters above sea level, Nazareth probably gained its Hebrew name, Natzeret, as a lookout or "watchtower" for the defense of Galilee (from natzar, "to watch" or "to guard").
Our tour will visit the sites of Mount Precipice (also known as Mount of Precipitation or the Mount of the Leap of the Lord), the Church of the Annunciation, and the Old Market of Nazareth. The tour will take around 1.5 hours, after which we'll have a light dinner at one of the restaurants nearby. We expect to be back in Haifa by about 21:30. The bus will drop off participants at two points: the IBM Lab building and the Carmel Center area, near the hotels. The tour is free of charge for conference participants. Make sure to reserve a seat by selecting the tour option on the registration page.
| Other Tours |
|---|
Baha'i Gardens
Haifa is the world headquarters of the Baha'i faith. The breathtaking Baha'i Gardens are open to the public, offering a stirring view of the Haifa Bay and the azure Mediterranean Sea. Please note that the tour is not accommodated within the conference program. Interested parties should arrange travel to and from the Gardens independently. For more information and scheduled guided tour times, see the Baha'i Gardens Tourism site.
Staying in Israel a few more days?
Several participants have expressed their intent to stay in Israel for a couple of extra days. For those who wish to join, we are arranging a guided tour of the Old City of Jerusalem on Friday morning (October 23). This tour is also practical for people flying out of Israel later on Friday since the airport is only 40 km from Jerusalem.
If you have never toured Jerusalem, this is an opportunity not to be missed. According to Jewish tradition, "Ten measures of beauty descended to the world; nine were taken by Jerusalem and one by the rest of the world." [Babylonian Talmud: Kidushin 49b]
If you wish to join the tour, send an e-mail to HVC Organizing Committee member Shmuel Ur. The price will depend on the number of people that participate in the tour.
Proceedings Publication
Springer Lecture Notes in Computer Science
