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
(3rd floor).
Participation is free but requires
pre-registraion.
You are all invited.
More details and program.
