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
Important Dates
Submission
Accepted Papers
Registration
Program
Tutorials
HVC Award
Organization
Venue and Travel
Accommodation
Shuttles to HVC Site
Local Information
Social Events
Excursions
Photo Gallery
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/
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 IBM
Privacy
Contact
