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

Haifa Verification Conference 2008

IBM Haifa Labs


October 27-30, 2008
Organized by IBM Haifa Research Lab

Conference Chairs

General Chair
Program Chair
  • Alan Hu, University of British Columbia

HVC Award Committee Chair

Organizing Committee

  • Sharon Barner, IBM HRL
  • Eyal Bin, IBM HRL
  • Laurent Fournier, IBM HRL
  • Shmuel Ur, IBM HRL

Local organization

  • Vered Aharon, IBM HRL

Program committee


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research