IBM®
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


Organization

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