Skip to main content

HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

Invited Speakers and Special Sessions

Invited Speakers:

Valeria Bertacco, University of Michigan
Helmut Veith, Vienna University of Technology
Omri Weisman, Watchfire
Eran Yahav, IBM T.J. Watson Research Center
Yossi Gil, Technion

Special session dedicated to the memory of Amir Pnueli: (more details)

David Harel, The Weizmann Institute of Science
Orna Grumberg, Technion
Lenore Zuck, University of Illinois
Roderick Bloem, Graz University of Technology

Special session On debugging: (more details)

Yoav Hollander, Cadence
Alan Hu,University of British Columbia
João Lourenço, New University of Lisbon

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science