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:
The workshop takes place under the auspices of IFIP WG 1.3.
The scientific programme of the workshop will include presentations of recent results and ongoing research.
The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.
After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11.
WADT 2018 will be organised by and held at Royal Holloway University of London in the historic town of Egham, which lies between London and Windsor.
A campus map is available in PDF or your favourite online map.
The Royal Holloway Conference Service provides up-to-date travel information. We summarise this information below.
On-campus accommodation will be guaranteed (details to be announced).
If you have any questions or inquiries about wadt2018 you can contact us
Copyright © 2018 wadt2018.