 |
|
||||||||||
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.
Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to the latest Netscape.
More information
Joint General Chairs
Tony Hoare, Microsoft Research, United Kingdom
Jayadev Misra, Univ. of Texas at Austin, USA
Steering Committee
Manfred Broy, Technische Universität München, Germany
Butler Lampson, Microsoft Research, United Kingdom
Mathai Joseph, Tata Research Development and Design Centre, India
Gilles Kahn, INRIA, France
J Moore, University of Texas at Austin, USA
Amir Pnueli, The Weizmann Institute of Science, Israel
Michel Sintzoff, Université catholique de Louvain, Belgium
Zhou Chao Chen, Chinese Academy of Sciences, China
Publications Chair
Jim Woodcock, York University Computer Science, United Kingdom
Publication Committee
David Gries, Cornell University, USA
Cliff Jones, Newcastle, United Kingdom
Bertrand Meyer, ETH Zürich, Switzerland
Ernst-Rüdiger Olderog, Universität Oldenburg, Germany
Program Chair
Natarajan Shankar, SRI Computer Science Laboratory, USA
Programme Committee
Jean-Raymond Abrial, ETH Zürich, Switzerland
Dines Bjorner, Technical University of Denmark, Denmark
Patrick Cousot, École Normale Supérieure, France
Michael Ernst, Massachusetts Institute of Technology, USA
David Evans, University of Virginia, USA
David Gries, Cornell University, USA
Orna Grumberg, Israel Institute of Technology, Israel
Masami Hagiya, University of Tokyo, Japan
Ian Hayes, The University of Queensland, Australia
He Jifeng, United Nations University, Macao
Connie Heitmeyer, Naval Research Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Cliff Jones, Newcasltle, United Kingdom
Greg Morrisett, Harvard University, United Kingdom
George Necula, University of California Berkeley, USA
Greg Nelson, HP Systems Research Center, USA
Tobias Nipkow, Technische Universität München, Germany
Colin O'Halloran, QinetiQ, United Kingdom
Ernst-Rüdiger Olderog, Universität Oldenburg, Germany
Mooly Sagiv, Tel-Aviv University, Israel
Carolyn Talcott, SRI International, USA
Jian Zhang, Academia Sinica, China
Organizing Chair
Bertrand Meyer, ETH Zürich, Switzerland
Organization Committee
Bernd Schoeller, ETH Zürich, Switzerland
Claudia Günthart, ETH Zürich, Switzerland
