WADT

International Workshop on Algebraic Development Techniques

  1. 2018

    WADT 2018

    • 2-5 July
    • Egham, United Kingdom
  2. 2016

    WADT 2016

    • 21-24 September
    • Gregynog, United Kingdom
  3. 2006

    WADT 2006

    • 1-3 June
    • La Roche en Ardenne, Belgium
  4. 2002

    WADT 2002

    • 24-27 September
    • Frauenchiemsee, Germany
  5. 1995

    ADT 1995

    • 19-23 September
    • Oslo, Norway
  6. 1994

    ADT 1994

    • 30 May - 3 June
    • Santa Margherita Ligure, Italy
  7. 1992

    ADT 1992

    • 26-30 October
    • Caldes de Malavella, Spain
  8. 1991

    ADT 1991

    • 26-30 August
    • Dourdan, France
  9. 1990

    ADT 1990

    • 17-20 April
    • Wusterhausen and Dosse, Germany
  10. 1987

    ADT 1987

    • 1-4 September
    • Gullane, United Kingdom