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.
This occurrence of the ADT workshop will be preceded by the Leverhulme School on Graph Transformation Techniques. The school will take place over three days, from Friday, June 29th, to Sunday, July 1st.
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.
There are three registration options, depending on your choice of accommodation. The accommodation usually includes breakfast and dinner; the lunches, as well as a banquet on the 3rd of July, are provided by the conference.
In addition, we have a limited number of reduced-rate places (£350, including standard accommodation) for students or young researchers who would like to attend WADT 2018. These places are limited to early registration before the 8th of June. To apply for a reduced-rate place, please contact the organizers at wadt18 [at] cs.rhul.ac.uk.
Registration with accommodation should take place before the 8th of June 2018. Registration without accommodation should take place before the 15th of June 2018.
To register, plese visit the Royal Holloway online store.
In case you have any special dietary requirements, please contact the organizers.
WADT 2018 will be organized 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, as follows, depending on the registration option selected:
If you have any questions or inquiries about wadt2018 you can contact us
Copyright © 2018 wadt2018.