Workshops on Abstract State Machines

(formerly: Evolving Algebras Project)

ASM 2005: Paris, France

Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. 2005
Contents BibTeX - 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 BibTeX

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 BibTeX

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 BibTeX - 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