Steering Committee

Honorary Member:

• Tony Hoare
  Microsoft Research, Cambridge, UK

Members:

• Dines Bjørner
  Technical University of Denmark, Lyngby, Denmark
• Manfred Broy
  Institut für Informatik, Technische Universität München, Germany
• Victor Ivannikov
  Institute for System Programming RAS, Moscow, Russia
• Bertrand Meyer
  ETH, Zürich, Switzerland, and Eiffel Software, Goleta, California, USA
• Leonid Libkin
  University of Edinburgh, UK