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 (3rd floor).

Participation is free but requires pre-registraion.

You are all invited.

More details and program.[Back to the news index]