|
Aspects of Formal Verification
Symposium honoring Shmuel Katz on the occasion of his retirement
Thursday, December 19, 2013,
Department of Computer Science,
Technion,
Haifa,
Israel
SPEAKERS
|
Mehmet Aksit |
|
University
of Twente, The Netherlands
|
|
Christoph
Bockisch |
|
University of
Twente, The Netherlands |
|
Nachum Dershowitz |
|
Tel-Aviv University, Israel |
|
Nissim Francez |
|
Technion,
Israel |
|
Orna
Grumberg |
|
Technion,
Israel |
|
David Harel |
|
Weizmann Institute of Science,
Israel |
|
Daniel Jackson |
|
MIT, USA |
|
Mika Katara |
|
Intel, Finland |
|
Doron Peled |
|
Bar-Ilan
University, Israel |
|
Gadi Taubenfeld |
|
Interdisciplinary Center in Herzliya, Israel |
|
Eran Yahav |
|
Technion,
Israel |
|
and |
|
Shmuel Katz |
|
Technion,
Israel |
|
|
|
|
|