WADT 2018 - 24th International Workshop on Algebraic Development Techniques

The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a 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 workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
Typical, but not exclusive topics of interest are:
Foundations of algebraic specification
Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems
Specification languages, methods, and environments
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
Algebraic approaches to cognitive sciences, including computational creativity
The workshop takes place under the auspices of IFIP WG 1.3.