Israel [change]

Services & solutions

Support & downloads

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

IBM Research

Haifa Verification Conference 2008

IBM Haifa Labs

Contact Information

October 27-30, 2008
Organized by IBM Haifa Research Lab

http://www.haifa.il.ibm.com/conferences/hvc2008/

General chair: Hana Chockler
Program chair: Alan J. Hu
Webmaster: Yair Harry