HVC 2010
Haifa Verification Conference 2010
October 5-7, 2010
Organized by IBM R&D Labs in Israel
| 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.
Proceedings Publication
Springer Lecture Notes in Computer Science
