WADT: Workshop on Algebraic Development Techniques

The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such as object-oriented, logic and higher-order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems).

The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends on several topics including:

Web page




Maura Cerioli (wadt2001@disi.unige.it)