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
Program
October 27-30, 2008
Organized by IBM Haifa Research Lab
http://www.haifa.il.ibm.com/conferences/hvc2008/
Keynote speakers
Daniel Jackson
, MIT
Moshe Vardi
, Rice University
Invited speakers
Brian Bailey
Yoav Hollander,
Cadence
Geoffrey Miller, IBM
Carl Pixley,
Synopsys
About IBM
Privacy
Contact
