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). The topics of the workshop include, but are not limited to:

    * formal methods for system development, including validation, verification, refinement and redesign
    * specification languages and methods
    * systems and techniques for reasoning about specifications
    * specification development systems (concepts and tools)
    * methods and techniques for concurrent, distributed and mobile systems
    * algebraic and co-algebraic foundations
    * CoFI methodology and the teaching of CASL
    * CASL sublanguages, extensions, their relations, tool support, and integration
    * CASL applications and case studies

The workshop provides an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. The scientific programme of the workshop includes presentations of new results and ongoing research.