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


Submission

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



Paper submission is now open at the HVC EasyChair account.

Submission should be in PDF format and prepared according to the instructions in the call for papers.

Please address all inquiries to hvc08 at easychair dot org.

Important Dates
Abstracts submission deadline: July 16, 2008
Full papers submission deadline: July 20, 2008 (Ended)
Author notification: August 31, 2008
Conference gathering: October 28-30, 2008
Final version: November 20, 2008

   

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research