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.

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.

5 previous WADT workshops

Leverhulme School on Graph Transformation Techniques

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.

important dates

submission dates
27th April 2018
Abstract submission deadline
18th May 2018
Notification of acceptance
1st June 2018
Final abstract due
registration and workshop dates
1st June 2018
Early registration deadline
2nd to 5th July 2018
Workshop at RHUL


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.

The abstracts have to be submitted electronically via the EasyChair system using the following link:
EasyChair Submission.


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.

by train
The nearest train station is Egham which is a 15–20 minute walk from Royal Holloway. Train journeys can be planned via National Rail.
by car
Royal Holloway is located on the A30, 19 miles from central London and about a mile south west of the town of Egham. It is two miles from junction 13 of the M25 (London orbital). After leaving the motorway at junction 13, take the A30 west, signposted to Bagshot and Camberley (this is the Egham bypass). At the first roundabout, take the second exit. At the second roundabout, take the second exit and continue up the A30, Egham Hill. The College is on the left at the top of the hill.

There is plenty of free parking, but please contact the organizers if you would like to enquire about a specific space.
Sat nav postcode is TW20 0EX.
by taxi
We recommend that you book in advance from the following companies.
by air
Train connections to the London airports can be checked/booked through the website of National Rail. From Heathrow, taxi or bus are by far the best options.

The number 8 runs between Heathrow Terminal 5 and Royal Holloway. From all other terminals, Terminal 5 can be reached from the Heathrow Central Station. An up-to-date timetable can be found here. An up-to-date map near RHUL can be found here. The nearest bus stop to Royal Holloway is a few minutes from campus.


On-campus accommodation will be guaranteed (details to be announced).


If you have any questions or inquiries about wadt2018 you can contact us

  • via email at wadt18 [at] cs.rhul.ac.uk
  • or at the following address:
    Workshop on Algebraic Development Techniques 2018
    José Luiz Fiadeiro
    Department of Computer Science
    Royal Holloway, University of London
    TW20 0EX

Copyright © 2018 wadt2018.