WADT

International Workshop on Algebraic Development Techniques
  1. 2022

    WADT 2022

    • 28-30 June
    • Aveiro, Portugal
  2. 2020

    WADT 2020

    • 29-29 April
  3. 2018

    WADT 2018

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

    WADT 2016

    • 21-24 September
    • Gregynog, United Kingdom
  5. 2015

    WADT 2015

    • 4-7 September
    • Sinaia, Romania
  6. 2012

    WADT 2012

    • 7-10 June
    • Salamanca, Spain
  7. 2010

    WADT 2010

    • 1-4 July
    • Etelsen, Germany
  8. 2008

    WADT 2008

    • 13-16 June
    • Pisa, Italy
  9. 2006

    WADT 2006

    • 1-3 June
    • La Roche en Ardenne, Belgium
  10. 2004

    WADT 2004

    • 27-29 March
    • Barcelona, Spain
  11. 2002

    WADT 2002

    • 24-27 September
    • Frauenchiemsee, Germany
  12. 2001

    WADT 2001

    • 1-3 April
    • Genoa, Italy
  13. 1999

    WADT 1999

    • 15-18 September
    • Bonas, France
  14. 1997

    WADT 1997

    • 3-7 June
    • Tarquinia, Italy
  15. 1995

    ADT 1995

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

    ADT 1994

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

    ADT 1992

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

    ADT 1991

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

    ADT 1990

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

    ADT 1987

    • 1-4 September
    • Gullane, United Kingdom