Skip to main content


HVC 2011
Haifa Verification Conference 2011

December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Social Events and Excursions

A tour the northern city of Acre (Akko)

On Wednesday, Dec. 7 we will tour the northern city of Acre (Akko) (leaving the IBM site at about 1pm).

Situated on the northernmost point of Haifa Bay, is the amazing UNESCO World Heritage Site of Acre. Our wonderful tour will allow you to fully discover this fascinating city whose history dates back almost 4,000 years and played a pivotal role in the Crusades.

We'll begin with a scenic drive along the coast from Haifa to Acre, whereupon arrival we will immediately begin to experience the decidedly medieval atmosphere of the area as we descend into the headquarters of the Knights of St. John. Part of this underground city was known as the Hospital Quarter, because it was here that the knights received their medical care. Your tour takes you through a series of barrel-vaulted rooms called the Crusader Halls, which lead to the refectory (dining hall). Also referred to as the crypt, the refectory is a true representation of Crusader architecture. Near the crypt, is a stairway that leads to a long underground passage thought to be an escape tunnel built by the Crusaders to reach the port during attacks by Moslem forces.

Returning to the surface, we will next explore the Ottoman period of Acre's long and colorful history. We will visit the vibrant 18th-century Turkish bazaar, the elegant Turkish baths that have been restored as a museum, and the lively marketplace with its exotic offerings and intoxicating scents. From the marketplace, we will continue on to the enormous Kahn El Umdan, also referred to as the Pillar's Inn, an ancient caravanserai that once served the camel caravans. Before leaving the city, we will stop at the picturesque Pisan Port, built by Crusader seamen from Pisa, Italy.

We will enjoy a dinner in the old city of Akko and return to Haifa at about 7pm.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science



HVC 2011 Poster

HVC 2011 Poster