(formerly: Evolving Algebras Project)

3. ABZ 2012: Pisa, Italy

• 
  John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (Eds.): Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7316 ISBN 978-3-642-30884-0 [ contents ]

2. ABZ 2010: Orford, QC, Canada

• 
  Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 5977 ISBN 978-3-642-11810-4 [ contents ]

1. ABZ 2008: London, UK

• 
  Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (Eds.): Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 5238 ISBN 978-3-540-87602-1 [ contents ]

ASM 2005: Paris, France

• 
  Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. 2005 [ contents ]

- ASM 2005 Home Page

ASM 2004: Lutherstadt Wittenberg, Germany

• 
  Wolf Zimmermann, Bernhard Thalheim (Eds.): Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Springer 2004 Lecture Notes in Computer Science 3052 ISBN 3-540-22094-1 [ contents ]

ASM 2003: Taormina, Italy

• 
  Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2589 ISBN 3-540-00624-9 [ contents ]

ASM 2000: Monte Verità, Switzerland

• 
  Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1912 ISBN 3-540-67959-6 [ contents ]

- ASM 2000 Home Page

ASM 1998: Magdeburg, Germany

Uwe Glässer, Peter H. Schmitt (Eds.): Fifth International Workshop on Abstract State Machines, Proceedings, Magdeburg, Germany, September 21-22, GI Jahrestagung
Contents - ASM 1998 Magdeburg Home Page

4. ASM 1998: Cannes, France

ASM 1998 Cannes Home Page

3. ASM 1997: Cannes, France

ASM 1997 Home Page

2. ASM 1996: Schloß Eringerfeld

1. ASM 1994: Hamburg, Germany

held during the IFIP World Computer Congress