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

22. WADT 2014: Sinaia, Romania

21. WADT 2012: Salamanca, Spain

20. WADT 2010: Etelsen, Germany

19. WADT 2008: Pisa, Italy

18. WADT 2006: La Roche en Ardenne, Belgium

17. WADT 2004: Barcelona, Catalonia, Spain

16. WADT 2002: Frauenchiemsee, Germany

15. WADT 2001: Genova, Italy

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

13. WADT 1998: Lisbon, Portugal

WADT was part of ETAPS'98

12. WADT 1997: Tarquinia, Italy

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

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

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

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

7. ADT 1990: Wusterhausen, Dosse, Germany

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

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

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
maintained by Schloss Dagstuhl LZI at University of Trier