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

Important dates

Submission deadline:	July 18, 2010
Author notification:	August 22, 2010
Students event submission deadline:	August 22, 2010
Students event notification:	August 31, 2010
Conference gathering:	October 5-7, 2010
Final Version:	November 14, 2010

• Sharon Barner

  General Chair

• Daniel Kroening

  Program Chair

• Ian G. Harris

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science