<span class="Apple–style–span" style="border–collapse: separate; color: rgb(0, 0, 0); font–family: ′Times New Roman′; font–style: normal; font–variant: normal; font–weight: normal; letter–spacing: normal; line–height: normal; orphans: 2; text–indent: 0px; text–transform: none; white–space: normal; widows: 2; word–spacing: 0px; font–size: medium;"><span class="Apple–style–span" style="font–family: sans–serif; text–align: justify;"><p class="body">The 20th WADT will take place in Etelsen, near Bremen, Germany. The 20th edition hence will geographically go "back to the roots".</p><h3 class="pagetitle" style="font–weight: bold; background–color: white; font–size: 1.1em;">Aims and scope:</h3><p class="body">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).</p><h3 class="pagetitle" style="font–weight: bold; background–color: white; font–size: 1.1em;">Topics of interest:</h3><p class="body">Typical, but not exclusive topics of interest are:</p><ul style="list–style–position: inside;"><li>Foundations of algebraic specification</li><li>Other approaches to formal specification, including process calculi and models of concurent, distributed and mobile computing</li><li>Specification languages, methods, and environments</li><li>Semantics of conceptual modelling methods and techniques</li><li>Model–driven development</li><li>Graph transformations, term rewriting and proof systems</li><li>Integration of formal specification techniques</li><li>Formal testing and quality assurance</li><li>Validation and verification</li></ul></span></span>
Abbrevation
WADT
City
Schloss Etelsen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract