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 Extended 18th May 2018
Abstract submission deadline
18th May 2018 Extended 25th May 2018
Notification of acceptance
1st June 2018 Extended 8th June 2018
Final abstract due
registration and workshop dates
8th June 2018
Early registration deadline
2nd to 5th July 2018
Workshop at RHUL

submission

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.

proceedings

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.

registration

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.

  • No accommodation: £300
  • Standard accommodation: £500
  • Premium accommodation: £600

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.

venue

location

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.

travel

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.

accommodation

On-campus accommodation will be guaranteed, as follows, depending on the registration option selected:

Standard accommodation – Founder’s Building
All accommodation has been recently refurbished in line with English Heritage standards. The Founder’s Building bedrooms are all standard rooms with guests sharing bathrooms on each corridor. Linen, towels and toiletries are provided and tea and coffee making facilities are available in shared pantries. Free car parking.
Premium en-suite accommodation – Butler, Tuke, Williamson, Wedderburn and Gower Halls
All premium en-suite bedrooms have double beds and en-suite shower rooms. Each bedroom is situated within a flat of eight rooms and each flat has a communal pantry with tea and coffee making facilities. All bedrooms have secure key card access and there are lifts to all floors. Linen, towels and toiletries are provided. A number of wheelchair accessible bedrooms are available in these halls. Free car parking.

contact

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
    Egham
    Surrey
    TW20 0EX

Copyright © 2018 wadt2018.