Aspects of Formal Verification
Symposium honoring Shmuel Katz on the occasion of his retirement
Thursday, December 19, 2013,
Department of Computer Science,
Registration for the technical sessions is free but required.
Please send your name, affiliation
and email address to Shoshi Fox:
shoshi at cs.technion.ac.il, by December 12.