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 1999: Toulouse, France

5. ASM 1998: Magdeburg, Germany

4. ASM 1998: Cannes, France

3. ASM 1997: Cannes, France

2. ASM 1996: Schloß Eringerfeld

1. ASM 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