Workshop on Recent Trends in Algebraic Development Techniques (WADT)

Workshop on Specification of Abstract Data Types (ADT)

24th WADT 2018: Egham, UK

23rd WADT 2016: Gregynog, UK

22nd WADT 2014: Sinaia, Romania

21st WADT 2012: Salamanca, Spain

20th WADT 2010: Etelsen, Germany

19th WADT 2008: Pisa, Italy

18th WADT 2006: La Roche en Ardenne, Belgium

17th WADT 2004: Barcelona, Catalonia, Spain

16th WADT 2002: Frauenchiemsee, Germany

15th WADT 2001: Genova, Italy

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

13th WADT 1998: Lisbon, Portugal

WADT was part of ETAPS'98

12th WADT 1997: Tarquinia, Italy

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

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

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

8th ADT / 3rd COMPASS Workshop 1991: Dourdan, France

7th ADT 1990: Wusterhausen, Dosse, Germany

6th ADT 1988

5th ADT 1987: Gullane, Scotland

4th ADT 1986

3rd ADT 1984: Bremen, Germany

2nd ADT 1983: Passau, Germany

1st ADT 1982: Sorpesee, Germany

a service of Schloss Dagstuhl - Leibniz Center for Informatics