Workshops on Abstract State Machines
(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.
Lecture Notes in Computer Science 7316 Springer 2012, 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.
Lecture Notes in Computer Science 5977 Springer 2010, 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.
Lecture Notes in Computer Science 5238 Springer 2008, 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.
Lecture Notes in Computer Science 3052 Springer 2004, 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.
Lecture Notes in Computer Science 2589 Springer 2003, 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.
Lecture Notes in Computer Science 1912 Springer 2000, 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
Last update Wed May 22 00:35:46 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
