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 topics of the workshop include, but are not limited to:
The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
Those who wish to give talks at WADT06 are invited to submit abstracts to the system. Notification of acceptance or rejection for presentation will be sent a week later. The abstract must be 1 page in PDF.
After the workshop, selected authors will be invited to submit full papers by 15 Sept 2006 for the refereed proceedings, to be published as a volume of Lecture Notes in Computer Science (Springer Verlag).
- foundations of algebraic specification
- other approaches to formal specification, including calculi and models of concurrent, distributed, mobile, and context-aware computing
- specification languages, methods, and environments (concepts, tools, etc.)
- semantics of conceptual modelling methods and techniques
- model-driven development
- graph transformations, term rewriting and proof systems
- integration of formal specification techniques
- formal testing and quality assurance
- validation and verification