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


HVC Award

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



The winner of the 2008 HVC Award is Ken McMillan for his work on interpolation with applications in formal verification.
Ken will present his work in a special research session at HVC.


HVC Award Committee

   

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research