TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 06191

Rigorous Methods for Software Construction and Analysis

( 07. May – 12. May, 2006 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/06191

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




Summary

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.

Acknowledgement

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.


Teilnehmer
  • 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)

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