WADT 2024
The 27th International Workshop on Algebraic Development Techniques (WADT 2024) will be held in Enschede, the Netherlands, as part of STAF 2024 (Software Technologies: Applications and Foundations). The workshop will take place under the auspices of IFIP WG 1.3.
Aims and scope
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.
WADT welcomes submissions describing original research on all aspects of algebraic specification and formal software development. 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
- Theorem-proving technologies and integration with specification languages
- Formal testing and quality assurance, validation, and verification
- Algebraic approaches to knowledge representation and cognitive sciences