Skip to main content

HVC 2009
Haifa Verification Conference 2009

October 19-22, 2009
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

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 hvc2009 at easychair dot org.

Important dates
Submission deadline: July 13, 2009
Author notification: August 28, 2009
Conference gathering: October 19-22, 2009
Final Version: November 20, 2009

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science