Workshop on Recent Trends in Algebraic Development Techniques (WADT)

Workshop on Specification of Abstract Data Types (ADT)

Venue statistics

records by year

document access 

    frequent authors

      25th WADT 2020: Virtual Event

      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