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

• 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

• Egon Börger
• Yuri Gurevich