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

Social Events and Excursions

Visit to Seppheris-Zippori National Park and Nazareth

According to tradition, Sepphoris was the home of Anna and Joachim, the parents of Mary; remains of a Crusader church dedicated to their memory are located on the perimeter of Sepphoris National Park. In ancient Jewish Sepphoris, where the Mishnah (a commentary on the Bible) was completed, a Roman-era theater, residences, spectacular mosaic floors, as well as a water system of unparalleled technical sophistication have all been unearthed.
For more information click here

From Zippori we will continue to the ancient city of Nazareth. 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"). lastly, 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 three points: Leonardo Hotel, 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.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science