Workshops on Algebraic Development Techniques, initiated in 1982 as Workshop on Abstract Data Types, have become a prominent forum to present and discuss research on the algebraic approach to system specification and development.
The final day of WADT 2004 will be a CoFI Day, focussing on themes relevant to CoFI, the Common Framework Initiative for Algebraic Specification and Development http://www.cofi.info, and CASL, the Common Algebraic Specification Language.The WADT Steering Committee consists of
![]() |
IFIP WG 1.3