HVC 2010
Haifa Verification Conference 2010
October 5-7, 2010
Organized by IBM R&D Labs in
Israel
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