WADT 2016 International Workshop on Algebraic Development Techniques

Gregynog House
The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) will take place in Gregynog, Wales, from 21st to 24th September, 2016.

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).

Typical, but not exclusive topics of interest are:

Previous WADT Workshops: