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


Important dates
Submission deadline: July 13, 2009
Author notification: August 28, 2009
Conference gathering:
    Tutorial
    Conference

October 19, 2009
October 20-22, 2009
Final Version: November 20, 2009

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science