Abstract State Machines

formerly: Evolving Algebras Project

since 2008: continued as part of the International Conference of Alloy, ASM, B, TLA, VDM, and Z Users (ABZ)

12. ASM 2005: Paris, France

11. ASM 2004: Lutherstadt Wittenberg, Germany

10. ASM 2003: Taormina, Italy

9. ASM 2002: Dagstuhl, Germany

8. ASM 2001: Las Palmas de Gran Canaria, Spain

7. ASM 2000: Monte Verità, Switzerland

6. ASM@FM 1999: Toulouse, France

5. ASM 1998: Magdeburg, Germany

ASM Workshop 1998: Cannes, France

ASM Workshop 1998 Homepage

ASM Workshop 1997: Cannes, France

ASM Workshop 1997 Homepage

Workshop on Evolving Algebras 1996: Schloß Eringerfeld, Germany

Workshop 1996 Homepage

Workshop on Evolving Algebras 1994: Hamburg, Germany

held during the IFIP World Computer Congress

Evolving Algebras Project 1993: Lipari, Italy

maintained by Schloss Dagstuhl LZI at University of Trier