Skip to main content


HVC 2009
Haifa Verification Conference 2009

October 19-22, 2009
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Shuttles to HVC site

There are shuttles between the major hotels and IBM Haifa (where HVC is taking place) in the morning and the evening. The shuttles are free of charge for HVC participants.

In the morning, the shuttle makes two 10-minutes stops on the way to IBM. It stops first at the entrance to the Crowne Plaza Hotel and then at the entrance to the Dan Panorama Hotel. It then continues straight to IBM Haifa.

Note: The Dan Gardens Hotel is located across the street from the Crowne Plaza Hotel; the Dan Carmel is just a five-minute walk from the Dan Panorama.

In the evening, the shuttle leaves IBM Haifa and stops at the following hotels:

  • Crowne Plaza
  • Dan Carmel
  • Dan Panorama

Here is the shuttle schedule.

October 19:

  • 8:45 am - from the Crowne Plaza to IBM
  • 8:55 am - from the Dan Panorama to IBM
  • 6:00 pm - from IBM to the hotels

October 20:

  • 7:45 am - from the Crowne Plaza to IBM
  • 7:55 am - from the Dan Panorama to IBM
  • 6:45 pm - from IBM to the hotels

October 21:

  • 8:00 am - from the Crowne Plaza to IBM
  • 8:10 am - from the Dan Panorama to IBM
  • No shuttle back to the hotels because of the Nazareth excursion

October 22:

  • 8:00 am - from the Crowne Plaza to IBM
  • 8:10 am - from the Dan Panorama to IBM
  • 5:00 pm - from IBM to the hotels

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science