21. WADT 2012: Salamanca, Spain

• 
  Narciso Martí-Oliet, Miguel Palomino (Eds.): Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7841 ISBN 978-3-642-37634-4 [ contents ]

20. WADT 2010: Etelsen, Germany

• 
  Till Mossakowski, Hans-Jörg Kreowski (Eds.): Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7137 ISBN 978-3-642-28411-3 [ contents ]

19. WADT 2008: Pisa, Italy

• 
  Andrea Corradini, Ugo Montanari (Eds.): Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Springer 2009 Lecture Notes in Computer Science 5486 ISBN 978-3-642-03428-2 [ contents ]

18. WADT 2006: La Roche en Ardenne, Belgium

• 
  José Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science 4409 ISBN 978-3-540-71997-7 [ contents ]

17. WADT 2004: Barcelona, Catalonia, Spain

• 
  José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.): Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Springer 2004 Lecture Notes in Computer Science 3423 ISBN 3-540-25327-0 [ contents ]

16. WADT 2002: Frauenchiemsee, Germany

• 
  Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.): Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Springer 2003 Lecture Notes in Computer Science 2755 ISBN 3-540-20537-3 [ contents ]

15. WADT 2001: Genova, Italy

• 
  Maura Cerioli, Gianna Reggio (Eds.): Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Springer 2001 Lecture Notes in Computer Science 2267 ISBN 3-540-43159-4 [ contents ]

- WADT 2001 Home Page

14. WADT 1999: Château de Bonas, France

• 
  Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Springer 2000 Lecture Notes in Computer Science 1827 ISBN 3-540-67898-0 [ contents ]

- WADT 1999 Home Page

13. WADT 1998: Lisbon, Portugal

• 
  José Luiz Fiadeiro (Ed.): Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers. Springer 1999 Lecture Notes in Computer Science 1589 ISBN 3-540-66246-4 [ contents ]

- WADT was part of ETAPS'98

12. WADT 1997: Tarquinia, Italy

• 
  Francesco Parisi-Presicce (Ed.): Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers. Springer 1997 Lecture Notes in Computer Science 1376 ISBN 3-540-64299-4 [ contents ]

11. ADT / 8. COMPASS Workshop 1995: Oslo, Norway

• 
  Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (Eds.): Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Springer 1996 Lecture Notes in Computer Science 1130 ISBN 3-540-61629-2 [ contents ]

10. ADT / 5. COMPASS Workshop 1994: S. Margherita, Italy

• 
  Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (Eds.): Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers. Springer 1995 Lecture Notes in Computer Science 906 ISBN 3-540-59132-X [ contents ]

9. ADT / 4. COMPASS Workshop 1992: Caldes de Malavella, Spain

• 
  Hartmut Ehrig (Ed.): Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Springer 1994 Lecture Notes in Computer Science 785 ISBN 3-540-57867-6 [ contents ]

8. ADT / 3. COMPASS Workshop 1991: Dourdan, France

• 
  Michel Bidoit, Christine Choppy (Eds.): Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers. Springer 1993 Lecture Notes in Computer Science 655 ISBN 3-540-56379-2 [ contents ]

7. ADT 1990: Wusterhausen, Dosse, Germany

• 
  Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (Eds.): Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Springer 1991 Lecture Notes in Computer Science 534 ISBN 3-540-54496-8 [ contents ]

6. ADT 1988

Hartmut Ehrig (Ed.): Proceedings 6th Workshop on Abstract Data Type, 1988. University of Berlin, Department of Computer Science, Technical Report
Contents

5. ADT 1987: Gullane, Scotland

• 
  Donald Sannella, Andrzej Tarlecki (Eds.): Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Springer 1987 Lecture Notes in Computer Science 332 [ contents ]

4. ADT 1986

Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck (Eds.): Proceedings 4th Workshop on Abstract Data Type, 1986. University of Braunschweig, Department of Computer Science, Informatik-Bericht Nr. 86-09
Contents

3. ADT 1984: Bremen, Germany

• 
  Hans-Jörg Kreowski (Ed.): Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Springer 1985 Informatik-Fachberichte 116 ISBN 3-540-16077-9 [ contents ]

2. ADT 1983: Passau, Germany

Manfred Broy, Martin Wirsing (Eds.): Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Department of Computer Science, Technical Report
Contents

1. ADT 1982: Sorpesee, Germany

Hans-Dieter Ehrich, Udo W. Lipeck (Eds.): Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Department of Computer Science, Technical Report
Contents