Israel
[
change
]
Terms of use
All of IBM
Home
Products
Services & solutions
Support & downloads
My account
IBM Haifa Labs
Haifa Verification Conference 2007
Call for Papers
Submission
Registration
Program
HVC Award
Travel & Local Information
Organization
Social Events
Previous Conferences
Related Links
Photo Gallery
Contact Information
Proceedings publication: Springer Lecture Notes in Computer Science
Haifa Verification Conference 2007
IBM Haifa Labs
Contact Information
October 23 - 25, 2007
Organized by IBM Haifa Research Lab
http://www.haifa.il.ibm.com/Workshops/verification2007/
Conference chair: Karen Yorav
Local Organization: Vered Aharon
Webmaster: Yair Harry
About IBM
Privacy
Contact
