| 2024 | 27 | Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers | Kingdom of the Netherlands | |
| 2022 | 26 | Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers | Aveiro | |
| 2020 | 25 | Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers | | |
| 2018 | 24 | Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers ADT | Egham | 2018-07-02/05 |
| 2016 | 23 | Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers ADT | Gregynog Hall | 2016-09-21/24 |
| 2015 | 22 | International Workshop on Algebraic Development Techniques WADT | Sinaia | 2015-09-04/07 |
| 2014 | 22 | Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ADT | Sinaia | 2014-09-04/07 |
| 2012 | 21 | International Workshop on Algebraic Development Techniques ADT, WADT | Salamanca | 2012-06-07/10 |
| 2010 | 20 | International Workshop on Algebraic Development Techniques ADT, WADT | Etelsen | 2010-07-01/04 |
| 2008 | 19 | International Workshop on Algebraic Development Techniques ADT, WADT | Pisa | 2008-06-13/16 |
| 2006 | 18 | International Workshop on Algebraic Development Techniques ADT, WADT | La Roche-en-Ardenne | 2006-06-01/03 |
| 2004 | 17 | International Workshop on Algebraic Development Techniques ADT, WADT | Barcelona | 2004-03-27/29 |
| 2002 | 16 | International Workshop on Algebraic Development Techniques ADT, WADT | Frauenchiemsee | 2002-09-24/27 |
| 2001 | 15 | International Workshop on Algebraic Development Techniques ADT, WADT | Genoa | 2001-04-01/03 |
| 1999 | 14 | International Workshop on Algebraic Development Techniques ADT, WADT | Bonas | 1999-09-15/18 |
| 1998 | 13 | International Workshop on Algebraic Development Techniques ADT, WADT | Lisbon | 1998-04-02/04 |
| 1997 | 12 | International Workshop on Algebraic Development Techniques ADT, WADT | Tarquinia | 1997-06-03/07 |
| 1995 | | Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers ADT, COMPASS | Oslo | 1995-09-19/23 |
| 1994 | | Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers ADT, COMPASS | Italy | 1994-05-30 to 1994-06-03 |
| 1992 | | Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers ADT, COMPASS | Caldes de Malavella | 1992-10-26/30 |
| 1991 | | Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers ADT, COMPASS | Dourdan | 1991-08-26/30 |
| 1990 | 7 | Workshop on the Specification of Abstract Data Types ADT | Dosse | 1990-04-17/20 |
| 1988 | 6 | Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany | Germany | |
| 1987 | 5 | Workshop on the Specification of Abstract Data Types ADT | Gullane | 1987-09-01/04 |
| 1986 | 4 | Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany | Germany | |
| 1984 | 3 | Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers ADT | Bremen | 1984-11-13/16 |
| 1983 | 2 | Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany ADT | Passau | 1983-01-01 |
| 1982 | 1 | Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany ADT | Sorpe Reservoir | 1982-01-01 |