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

General Chair

Eyal Bin, IBM Haifa Labs, Israel (

Verification Track Co-chairs

Laurent Fournier, IBM Haifa Labs, Israel (
Karen Yorav, IBM Haifa Labs, Israel (

Tools Track Co-chairs

Avi Ziv, IBM Haifa Labs, Israel (
Gadiel Auerbach , IBM Haifa Labs, Israel (

Software Testing Track Chair

Shmuel Ur, IBM Haifa Labs, Israel (

PSL tutorial track Chair

Gadiel Auerbach , IBM Haifa Labs, Israel (

Program Committee


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