Workshop on Algebraic Development Techniques (WADT) /
Specification of Abstract Data Type Workshops (ADT)

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. Lecture Notes in Computer Science 5486 Springer 2009, 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. Lecture Notes in Computer Science 4409 Springer 2007, 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. Lecture Notes in Computer Science 3423 Springer 2004, 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. Lecture Notes in Computer Science 2755 Springer 2003, 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. Lecture Notes in Computer Science 2267 Springer 2001, 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. Lecture Notes in Computer Science 1827 Springer 2000, 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. Lecture Notes in Computer Science 1589 Springer 1999, 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. Lecture Notes in Computer Science 1376 Springer 1997, 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. Lecture Notes in Computer Science 1130 Springer 1996, 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. Lecture Notes in Computer Science 906 Springer 1995, 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. Lecture Notes in Computer Science 785 Springer 1994, 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. Lecture Notes in Computer Science 655 Springer 1993, 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. Lecture Notes in Computer Science 534 Springer 1991, 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. Lecture Notes in Computer Science 332 Springer 1987
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. Informatik-Fachberichte 116 Springer 1985, 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

Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT)