October 19-22, 2009
Organized by IBM R&D Labs in Israel

Keynote and Invited Speakers

David Harel, Weizmann Institute of Science
Can We Verify an Elephant?
(abstract)

Mark Harman, CREST centre at King's College London
The SBSE Approach to Automated Optimization of Verification and Testing
(abstract)

Harry Foster, Mentor Graphics
Pain, Possibilities, and Prescriptions
Industry Trends in Advanced Functional Verification
(abstract)

• Avi Ziv

  General Chair

• Kedar Namjoshi

  Program Chair

• Andreas Zeller

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science