Steering Committee

• Dines Bjørner
  Technical University of Denmark, Lyngby, Denmark
• Manfred Broy
  Institute of Informatics, Technical University of Munich, Germany
• Victor Ivannikov
  Institute for System Programming RAS, Moscow, Russia
• Ugo Montanari
  University of Pisa, Italy