March 3 – 8 , 2002, Dagstuhl Seminar 02101

Theory and Application of Abstract State Machines

Participants

  • Wolfgang Ahrendt (Chalmers UT – Göteborg, SE)
  • Matthias Anlauff (Kestrel Institute, US)
  • Michael Barnett (Microsoft Research – Redmond, US)
  • Danièle Beauquier (Université Paris-Est Créteil, FR)
  • Christoph Beierle (FernUniversität in Hagen, DE)
  • Andreas R. Blass (University of Michigan – Ann Arbor, US)
  • Egon Börger (University of Pisa, IT)
  • Marco Börger (DIRON – Münster, DE)
  • Tommaso Bolognesi (CNR – Pisa, IT)
  • Alessandra Cavarra (University of Oxford, GB)
  • Jim Davies (University of Oxford, GB)
  • Giuseppe Del Castillo (Nokia Siemens Networks – München, DE)
  • Paolo Di Prima (University of Catania, IT)
  • Igor Durdanovic (NEC Laboratories America, Inc. – Princeton, US)
  • Robert Eschbach (TU Kaiserslautern, DE)
  • Dirk Fischer (Universität Paderborn, DE)
  • Werner Gabrisch (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Didier Galmiche (LORIA – Nancy, FR)
  • Angelo Gargantini (Università di Bergamo, IT)
  • Vincenzo Gervasi (University of Pisa, IT)
  • Uwe Glässer (Simon Fraser University – Burnaby, CA)
  • Sabine Glesner (TU Berlin, DE)
  • Reinhard Gotzhein (TU Kaiserslautern, DE)
  • Erich Grädel (RWTH Aachen, DE)
  • Wolfgang Grieskamp (Microsoft Research – Redmond, US)
  • Yuri Gurevich (Microsoft Research – Redmond, US)
  • James K. Huggins (Kettering University – Flint, US)
  • Heinrich Hußmann (TU Dresden, DE)
  • Jim Kajiya (Microsoft Research – Redmond, US)
  • Martin Kardos (Universität Paderborn, DE)
  • Ulrich Klehmet (Universität Erlangen-Nürnberg, DE)
  • Marcin Mlotkowski (Wroclaw University of Technology, PL)
  • Lev Nachmanson (Microsoft Research – Redmond, US)
  • Gopalan Nadathur (University of Minnesota – Minneapolis, US)
  • Stanislas Nanchen (ETH Zürich, CH)
  • Zsolt Nemeth (Hungarian Academy of Sciences – Budapest, HU)
  • Marianna Nicolosi (University of Catania, IT)
  • Antje Nowack (RWTH Aachen, DE)
  • Peter Päppinghaus (Nokia Siemens Networks – München, DE)
  • Andreas Podelski (MPI für Informatik – Saarbrücken, DE)
  • Anne Preller (University of Montpellier 2, FR)
  • Andreas Prinz (University of Agder – Grimstad, NO)
  • Wolfgang Reisig (HU Berlin, DE)
  • Elvinia Riccobene (University of Milan, IT)
  • Salvatore Rinzivillo (University of Pisa, IT)
  • Thomas Rödding (DIRON – Münster, DE)
  • Dean Rosenzweig (University of Zagreb, HR)
  • Gerhard Schellhorn (Universität Augsburg, DE)
  • Joachim Schmid (Siemens AG – München, DE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Wolfgang Schönfeld (Fraunhofer Institut – Darmstadt, DE)
  • Anatol Slissenko (Université Paris-Est Créteil, FR)
  • Diego Sona (University of Pisa, IT)
  • Robert Stärk (ETH Zürich, CH)
  • Asuman Sünbül (SAP Labs – Palo Alto, US)
  • Bernhard Thalheim (Universität Kiel, DE)
  • Nikolai Tillmann (Microsoft Research – Redmond, US)
  • Margus Veanes (Microsoft Research – Redmond, US)
  • Charles Wallace (Michigan Technological University – Houghton, US)
  • Karsten Wolf (HU Berlin, DE)
  • Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, DE)