20th International Workshop on Algebraic Development Techniques WADT 2010

Schloss Etelsen, Germany, 1st-4th July 2010

The proceedings of WADT 2010 have been published as a LNCS volume, available online at http://www.springeronline.com/978-3-642-28411-3

The 20th WADT will take place in Etelsen, near Bremen, Germany. The 20th edition hence will geographically go "back to the roots".

Aims and scope:

The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).

Topics of interest:

Typical, but not exclusive topics of interest are: