International Conference on Algebraic Methodology and Software Technology (AMAST)

13. AMAST 2010: Lac-Beauport, QC, Canada

• 
  Michael Johnson, Dusko Pavlovic:
  Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6486, Springer 2011, ISBN 978-3-642-17795-8 [contents]

12. AMAST 2008: Urbana, IL, USA

• 
  José Meseguer, Grigore Rosu:
  Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140, Springer 2008, ISBN 978-3-540-79979-5 [contents]

11. AMAST 2006: Kuressaare, Estonia

• 
  Michael Johnson, Varmo Vene:
  Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science 4019, Springer 2006, ISBN 3-540-35633-9 [contents]

10. AMAST 2004: Stirling, Scotland, UK

• 
  Charles Rattray, Savi Maharaj, Carron Shankland:
  Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Lecture Notes in Computer Science 3116, Springer 2004, ISBN 3-540-22381-9 [contents]

9. AMAST 2002: St. Gilles les Bains, Reunion Island, France

• 
  Hélène Kirchner, Christophe Ringeissen:
  Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Lecture Notes in Computer Science 2422, Springer 2002, ISBN 3-540-44144-1 [contents]

-

AMAST 2002 Home Page

8. AMAST 2000: Iowa City, Iowa, USA

• 
  Teodor Rus:
  Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science 1816, Springer 2000, ISBN 3-540-67530-2 [contents]

-

AMAST 2000 Home Page

7. AMAST 1998: Amazonia, Brasil

• 
  Armando Martin Haeberer:
  Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Lecture Notes in Computer Science 1548, Springer 1999, ISBN 3-540-65462-3 [contents]

6. AMAST 1997: Sydney, Australia

• 
  Michael Johnson:
  Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings. Lecture Notes in Computer Science 1349, Springer 1997, ISBN 3-540-63888-1 [contents]

5. AMAST 1996: Munich, Germany

• 
  Martin Wirsing, Maurice Nivat:
  Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, ISBN 3-540-61463-X [contents]

4. AMAST 1995: Montreal, Canada

• 
  Vangalur S. Alagar, Maurice Nivat:
  Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936, Springer 1995, ISBN 3-540-60043-4 [contents]

3. AMAST 1993: Twente, The Netherlands

• 
  Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
  Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19852-0 [contents]

2. AMAST 1991: Iowa City, USA

• 
  Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
  Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19797-4 [contents]

1. AMAST 1989: Iowa, USA