Workshop Honoring Shmuel Katz on the Occasion of his Retirement - TODAY!

Workshop Honoring Shmuel Katz on the Occasion of his Retirement - TODAY!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 Tuesday, November 19, 2013