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

• Sharon Barner

  General Chair

• Daniel Kroening

  Program Chair

• Ian G. Harris

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science