Aspects of Formal Verification - TODAY!

Aspects of Formal Verification - TODAY!

Date:
Thursday, 19.12.2013, 08:30
Place:
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