You are invited to a special Symposium on "Aspects of Formal
Verification" on the occasion of Prof. Shmuel Katz' retirement. The symposium
will be held 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