Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 06191

Rigorous Methods for Software Construction and Analysis

( May 07 – May 12, 2006 )

Please use the following short url to reference this page:

  • Jean-Raymond Abrial (ETH Zürich, CH)
  • Uwe Glässer (Simon Fraser University - Burnaby, CA)


Focusing on applied formal methods, the final seminar program covered a wide range of applied research spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their application orientation, are still committed to the ideal of mathematical rigor.

Two overarching themes were the persistent demand to

  • foster further cross-fertilization between academic research and industrial development in the quest for innovative methods and tools to critically evaluate their potential in the light of new challenges as posed by new technological developments and paradigms in software engineering, and the ever-present question of
  • convergence of methods, clarifying their commonalities and differences to better understand how to combine related approaches for accomplishing the various tasks in modeling, simulation, and verification of complex hardware/software systems.

For the dissemination of results, revised and refereed versions of major contributions to the seminar will be collected over the Summer 2006. Springer-Verlag kindly agreed to publish the proceedings as LNCS Festschrift.


The seminar has been organized in collaboration with Bertrand Meyer from ETH Zürich, who had to withdraw his participation for purely personal reasons in January 2006.

  • Jean-Raymond Abrial (ETH Zürich, CH) [dblp]
  • Michael Altenhofen (SAP SE - Karlsruhe, DE)
  • Jens Bendisposto (Heinrich-Heine-Universität Düsseldorf, DE) [dblp]
  • Daniel M. Berry (University of Waterloo, CA) [dblp]
  • Egon Börger (University of Pisa, IT) [dblp]
  • 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) [dblp]
  • Vincenzo Gervasi (University of Pisa, IT) [dblp]
  • Uwe Glässer (Simon Fraser University - Burnaby, CA) [dblp]
  • Andreas Glausch (HU Berlin, DE)
  • Pedro Guerreiro (Universidade Nova de Lisboa, PT)
  • Stefan Hallerstede (ETH Zürich, CH) [dblp]
  • 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) [dblp]
  • Farhad D. Mehta (ETH Zürich, CH)
  • C. Carroll Morgan (UNSW - Sydney, AU)
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Wolfgang Müller (C-LAB - Paderborn, DE)
  • Ian Oliver (NOKIA Research Center - Helsinki, FI) [dblp]
  • Richard F. Paige (University of York, GB) [dblp]
  • Peter Päppinghaus (Nokia Siemens Networks - München, DE)
  • Marie-Laure Potet (LIG - Grenoble, FR) [dblp]
  • Andreas Prinz (University of Agder - Grimstad, NO) [dblp]
  • Franz J. Rammig (C-LAB - Paderborn, DE)
  • Wolfgang Reisig (HU Berlin, DE) [dblp]
  • Elvinia Riccobene (University of Milan, IT) [dblp]
  • 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) [dblp]
  • Gerhard Schellhorn (Universität Augsburg, DE) [dblp]
  • Klaus-Dieter Schewe (Massey University, NZ) [dblp]
  • Peter H. Schmitt (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Steve Schneider (University of Surrey, GB) [dblp]
  • Anatol Slissenko (Université Paris-Est Créteil, FR) [dblp]
  • Colin F. Snook (University of Southampton, GB) [dblp]
  • Bernhard Thalheim (Universität Kiel, DE) [dblp]
  • Helen Treharne (University of Surrey, GB) [dblp]
  • Mona Vajihollahi (Simon Fraser University - Burnaby, CA)
  • Jan Van den Bussche (Hasselt University - Diepenbeek, BE) [dblp]
  • Margus Veanes (Microsoft Research - Redmond, US) [dblp]
  • Laurent Voisin (ETH Zürich, CH) [dblp]
  • Amiram Yehudai (Tel Aviv University, IL)
  • Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, DE)

Related Seminars
  • Dagstuhl Seminar 13372: Integration of Tools for Rigorous Software Construction and Analysis (2013-09-08 - 2013-09-13) (Details)