IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research & CRI

Haifa verification conference 2006

IBM Haifa Labs


Invitation Registration

October 23 - 26, 2006
Organized by IBM Research Lab in Haifa, Israel



Social Program


Similarly to last year, we are organizing a number of social and touring activities for seminar participants. These activities include the following:
  • Tour of Jerusalem (according to your schedule): For interested conference participants, a tour of Jerusalem can be arranged focusing on the religious and historical aspects of the ancient capital of Israel. Please contact Shmuel Ur at ur@il.ibm.com if you would like to tour the old city. Not to be missed for people who have not done it. For more information, see the Jerusalem Municipality's tourism site.

  • A Cocktail Party (Monday, October 23): Conference participants are all invited to a Cocktail Party, scheduled to take place at 17:30 at the lobby of the IBM Haifa building.

  • Baha'i Gardens Tour (Tuesday and Thursday, October 24 & 26, at 11:00): 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. The tour is free of charge to conference participants. For more information, see the Baha'i Gardens site. You have to be registered to this tour, so if you are interested, please contact Vered at vered@il.ibm.com and ask to be registered at a specific date.

  • Hecht Museum Guided Tour (Wednesday, October 25, time TBD).



 



Related Conference Links
Visitors information  
Formal Verification in HRL  
Verification and Testing Solutions in HRL  
Simulation based methods in HRL  
IBM Verification Conference 2005  
IBM Verification Seminar 2004  
IBM Verification Seminar 2003  
IBM Verification Seminar 2002  


Proceedings publication: Springer Lecture Notes in Computer Science



    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research