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

CS, Technion