May 7 – 12 , 2006, Dagstuhl Seminar 06191
Last update: October 19 2010

Rigorous Methods for Software Construction and Analysis

Participants

  • Jean-Raymond Abrial (ETH Zürich, CH)
  • Michael Altenhofen (SAP SE – Karlsruhe, DE)
  • Jens Bendisposto (Heinrich-Heine-Universität Düsseldorf, DE)
  • Daniel M. Berry (University of Waterloo, CA)
  • Egon Börger (University of Pisa, IT)
  • Sylvain Boulmé (LIG – Grenoble, FR)
  • Jonathan P. Bowen (London South Bank Univ. – London, GB)
  • Dominique Cansell (LORIA – Nancy, FR)
  • Alessandra Cavarra (University of Oxford, GB)
  • Antonio Cisternino (University of Pisa, IT)
  • Giuseppe Del Castillo (München, DE)
  • Roozbeh Farahbod (Simon Fraser University – Burnaby, CA)
  • Nicu Georgian Fruja (ETH Zürich, CH)
  • Angelo Gargantini (Università di Bergamo, IT)
  • Vincenzo Gervasi (University of Pisa, IT)
  • Uwe Glässer (Simon Fraser University – Burnaby, CA)
  • Andreas Glausch (HU Berlin, DE)
  • Pedro Guerreiro (Universidade Nova de Lisboa, PT)
  • Stefan Hallerstede (ETH Zürich, CH)
  • Thai Son Hoang (ETH Zürich, CH)
  • James K. Huggins (Kettering University – Flint, US)
  • Dirk Leinders (Hasselt University – Diepenbeek, BE)
  • Jens Lemcke (SAP SE – Karlsruhe, DE)
  • Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, DE)
  • Farhad D. Mehta (ETH Zürich, CH)
  • C. Carroll Morgan (UNSW – Sydney, AU)
  • Peter Müller (ETH Zürich, CH)
  • Wolfgang Müller (C-LAB – Paderborn, DE)
  • Ian Oliver (NOKIA Research Center – Helsinki, FI)
  • Peter Päppinghaus (Nokia Siemens Networks – München, DE)
  • Richard F. Paige (University of York, GB)
  • Marie-Laure Potet (LIG – Grenoble, FR)
  • Andreas Prinz (University of Agder – Grimstad, NO)
  • Franz J. Rammig (C-LAB – Paderborn, DE)
  • Wolfgang Reisig (HU Berlin, DE)
  • Elvinia Riccobene (University of Milan, IT)
  • Dean Rosenzweig (University of Zagreb, HR)
  • Davor Runje (University of Zagreb, HR)
  • Joseph N. Ruskiewicz (ETH Zürich, CH)
  • Patrizia Scandurra (University of Catania, IT)
  • Gerhard Schellhorn (Universität Augsburg, DE)
  • Klaus-Dieter Schewe (Massey University, NZ)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Steve Schneider (University of Surrey, GB)
  • Anatol Slissenko (Université Paris-Est Créteil, FR)
  • Colin F. Snook (University of Southampton, GB)
  • Bernhard Thalheim (Universität Kiel, DE)
  • Helen Treharne (University of Surrey, GB)
  • Mona Vajihollahi (Simon Fraser University – Burnaby, CA)
  • Jan Van den Bussche (Hasselt University – Diepenbeek, BE)
  • Margus Veanes (Microsoft Research – Redmond, US)
  • Laurent Voisin (ETH Zürich, CH)
  • Amiram Yehudai (Tel Aviv University, IL)
  • Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, DE)