On the occasion of Prof. Shmuel Katz' retirement, the CS Department
will hold a Symposium on "Aspects of Formal Verification" on
Thursday, December 19 2013, at Taub Building for Computer Science, in room 337
Participation is free but requires
You are all invited.
More details and program