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
 

 

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. 2013