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

Events

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.
[Back to the index of events]