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

The Taub Faculty of Computer Science Events and Talks

Aspects of Formal Verification - TODAY!
event date icon
Thursday, 19.12.2013, 08:30
event location icon
Room 337-8 Taub Bld.
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.
Aspects of Formal Verification - TODAY!