HVC 2009
Haifa Verification Conference 2009
October 19-22, 2009
Organized by IBM R&D Labs in Israel
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.
| Submission deadline: | July 13, 2009 |
| Author notification: | August 28, 2009 |
| Conference gathering: | October 19-22, 2009 |
| Final Version: | November 20, 2009 |
Proceedings Publication
Springer Lecture Notes in Computer Science
