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

Registration

Registration is closed!

• Sharon Barner

  General Chair

• Daniel Kroening

  Program Chair

• Ian G. Harris

  Program Chair

• Efrat Maimon

  Webmaster

Springer Lecture Notes in Computer Science