Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People

The Taub Faculty of Computer Science News and Announcements

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