Abstract State Machines: Community Information

---

The success of the ASM methodology is due in no small part to the international community of ASM researchers and practitioners who have helped to develop and promote the use of ASMs in a wide variety of systems. Here, we provide information on aspects of this active and dynamic community.

---

• Email List
• Upcoming Events
• Past Events
• Theses
• Other Items

---

Email List

An electronic mailing list for abstract state machine researchers exists: to join, see the instructions at http://www.cs.mtu.edu/~wallace/asmforum-l/help.html.

---

Upcoming Events

---

Past Events

• ASM'08, 15-18 September 2008, London, UK
  • Proceedings (courtesy of Springer)

• ASM'07, 7-9 June 2007, Grimstad, Norway

• Rigorous Methods for Software Construction and Analysis (ASM 2006), Schloss Dagstuhl, Wadern, Germany, 7-12 May 2006

• ASM 2005, Paris, France, 8-11 March 2005

• ASM 2004, Halle-Wittenberg, Germany, 24-28 May 2004

• ASM 2003, International Workshop on Abstract State Machines
  Hotel Villa Diodoro, Taormina, Italy, 3-7 March 2003
  • Photos (courtesy of Angelo Gargantini)

• Lipari Summer School on Software Engineering
  30 June-13 July 2002, Lipari Island, Italy

• ASM 2002 Workshop, Schloss Dagstuhl, Wadern, Germany, 3-8 March 2002
  • Photos (courtesy of Tomasso Bolognesi)

• Formalware Engineering: Formal Methods for Engineering Software
  Advanced Summer School, Udine, Italy, 24-28 September 2001

• ASM Tutorial at ETAPS 2001, Genova, Italy, 2-6 April 2001

• ASM 2001 Workshop (at EUROCAST 2001)
  Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001

• ASM 2000 Workshop
  Monte Verita, Switzerland, 19-24 March 2000

• ASM User Group Meeting and ASM Mini-Track at FM'99
  Toulouse, France, 20-24 September 1999

• 5th International Workshop on ASMs at Informatik'98
  Magdeburg, Germany, 21-22 September 21-22 1998

• Second Cannes ASM Workshop
  Cannes, France, 19-22 June 1998

• ASM Workshop 97
  Cannes, France, 13-16 June 1997

• Workshop on Evolving Algebras
  Schloss Eringerfeld, Paderborn, Germany, 17-19 May 1996

• Evolving Algebras session at IFIP World Congress 1994
  Hamburg, Germany, 28 August -- 2 September 1994

• 5th International School for Computer Science Researchers
  Lipari Island, Italy, 21 June -- 3 July 1993

---

Theses

What follows is a (partial) list of theses of all types (masters, doctoral, habilitation, etc.) dealing with ASMs. (Please send updates to this list to huggins@acm.org.)

• Wolfgang Ahrendt, Masters, Karlsruhe, 1995
  Von Prolog zur WAM. Verifikation der Prozedurübersetzung mit KIV.
  

• Klaus Bichler, Diploma, Hagen, 1998

• Robert Blakley, Ph.D., Michigan, 1992
  A smalltalk evolving algebra and its uses
  Advisor: Yuri Gurevich

• Alessandra Cavarra, Ph.D. Catania, 2000

• Giuseppe Del Castillo, Laurea, Pisa, 1995

• Giuseppe Del Castillo, Ph.D., Paderborn, 2000

• D. Diesen, Ph.D., Oslo, 1995
  Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages
  

• B. DiFranco, Masters, L'Aquila, 1997
  Specification of ISO SQL using Montages
  

• Mohamed Gaieb, Masters, Sophia-Antipolis, 1997
  Generation de specifications Centaur a partir de specifications Montages
  

• Uwe Glässer, Habilitation, Paderborn, 1999

• Andreas Heberle, Ph.D., Karlsruhe, 2000

• James Huggins, Ph.D., Michigan, 1995
  Evolving algebras : tools for specification, validation, and program transformation
  Advisor: Yuri Gurevich

• Jorn Janneck, ETH Zuerich, 2000

• Angelika Kappel, Diploma, Dortmund, 1990
  Implementation of Dynamic Algebras with an Application to Prolog
  

• Philipp Kutter, Master's Thesis, ETH Zurich, 1996
  Integration of the Statecharts in Specware and Aspects of Correct Oberon Code Generation

• Franco La Cioppa, Laurea, L'Aquila, 2001

• S. Mazzanti, Laurea, Pisa, 1995,

• Luca Mearelli, Laurea, Pisa, 1997,

• Marcin Mlotkowski, University of Wroclaw, 2001
  Specification and Optimization of the Smalltalk programs
  Advisor: Leszek Pacholski

• James Morris, Ph.D., Michigan, 1988
  Algebraic Operational Semantics For Modula 2
  Advisor: Yuri Gurevich

• Wolfgang Mueller, Ph.D., Paderborn, 1997

• Antje Nowack, Diploma, RWTH Aachen, 2000
  Advisor: Erich Grädel

• Ileana Ober, Ph.D., Institut National Polytechnique de Toulouse, April 2001.
  Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics
  Advisor: Bernard Coulette

• Italia Reanlletta, Laurea, L'Aquila, 1998

• Elvinia Riccobene, Ph.D., Catania, 1993
  Modelli Matematici per Linguaggi Logici
  

• R. Salamone, Masters, Pisa, 1993
  Una Specifica Astratta e Modulare della {CLAM} (An Abstract and Modular Specification of the CLAM
  

• J. Sauer, Ph.D., Oldenburg, 1993
  Wissensbasiertes Lösen von Ablaufsplanungsproblemen durch explizite Heuristiken
  

• Gerhard Schellhorn, Ph.D, Ulm, 1999
  Verifikation abstrakter Zustandsmaschinen

• Stefan Schäfer, Masters, Martin-Luther-University Halle-Wittenberg, 2005
  A modular formal semantics for Sather-K (in German)
  Advisor: Wolf Zimmerman

• Wolfram Schulte, Habilitation, Ulm, 2000

• Wuwei Shen, Ph.D., University of Michigan, 2001
  The application of abstract state machines in software engineering
  Advisors: Yuri Gurevich, James Huggins

• I. Soloviev, Ph.D., St. Petersburg, 1995
  Exploration and experimental implementation of recursive patterns and functions imbedding into Prolog language syntactical environment
  

• Mark Spielmann, Ph.D., RWTH Aachen, 2000
  Advisor: Erich Grädel

• Asuman Sünbül, Ph.D., Technical University of Berlin, 2001
  Architectural design of evolutionary software systems in continuous software engineering

• Hans Tonino, Ph.D., Delft, 1997
  A Theory of Many-sorted Evolving Algebras
  

• J. Visser, Masters, Delft, 1996
  Evolving algebras
  

• Charles Wallace, Ph.D., University of Michigan, 1999
  Formal specification of software using abstract state machines
  Advisor: Yuri Gurevich

• Kirsten Winter, Ph.D., Technical University of Berlin, 2001
  Model Checking Abstract State Machines
  

---

Other Items

Remembering Dean Rosenzweig

Dean Rosenzweig, a key contributor to the early days of ASM research, passed away at the beginning of January 2007. Below are links to a couple of tributes to Dean written shortly after Dean's death:

• Egon Börger
• Yuri Gurevich