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

IBM Verification Conference 2005

IBM Haifa Labs


Invitation Registration

November 13 - 16, 2005
Organized by IBM Research Lab in Haifa, Israel


Program Chair

Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)

Verification Track Chair

Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)

Software Testing Track Chair

Eitan Farchi, IBM Haifa Labs, Israel (farchi@il.ibm.com)

PADTAD Chair

Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)

Proceeding Chair

Tsvi Kuflik, University of Haifa, Israel (tsvikak@mis.hevra.haifa.ac.il)

Local Arrangements Chair

Yaniv Eytani, University of Haifa, Israel (ieytani@cslx.haifa.ac.il)

Program Committee



 



Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
Simulation based methods in HRL in HRL  


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research