Aspects of Formal Verification
Symposium honoring Shmuel Katz on the occasion of his retirement

Thursday, December 19, 2013, Department of Computer Science, Technion, Haifa, Israel





Registration for the technical sessions is free but required.

Please send your name, affiliation and email address to Shoshi Fox:

shoshi at, by December 12. 2013