Israel
[
change
]
Terms of use
All of IBM
Home
Products
Services & solutions
Support & downloads
My account
IBM Haifa Labs
Haifa Verification Conference 2008
Call for Papers
Program
HVC Award
Important Dates
Organization
Contact Information
Proceedings publication: Springer Lecture Notes in Computer Science
Haifa Verification Conference 2008
IBM Haifa Labs
Important Dates
October 27-30, 2008
Organized by IBM Haifa Research Lab
http://www.haifa.il.ibm.com/conferences/hvc2008/
Submission deadline:
July 16, 2008
Author notification:
August 31, 2008
Conference gathering:
October 28-30, 2008
Final version:
November 20, 2008
About IBM
Privacy
Contact
