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