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.

The workshop will take place over four days, Monday to Thursday, at
Royal Holloway University of London in Egham, UK
(https://www.royalholloway.ac.uk).
Presentations will be selected on the basis of submitted abstracts.

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, and will
comprise a self-contained series of invited lectures on graph
transformation to be given by Reiko Heckel (University of Leicester,
UK), Fernando Orejas (Technical University of Catalonia, Spain), and
Detlef Plump (University of York, UK).

Submission deadline for abstracts: May 18th, 2018
Notification of acceptance: May 25th, 2018
Early registration: June 1st, 2018
Final abstract due: June 8th, 2018
Leverhulme School on Graph Transformation Techniques: June 29–July 1, 2018
ADT Workshop: July 2–5, 2018

SUBMISSIONS

The scientific programme of the workshop will include presentations of
recent results or ongoing research as well as invited talks. The
presentations will be selected by the Steering Committee on the basis of
submitted abstracts according to originality, significance and general
interest. Abstracts must not exceed two pages 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 by the
Programme Committee. 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.

SPONSORSHIP

The workshop takes place under the auspices of IFIP WG 1.3, while the
series of graph-transformation lectures is supported by a Leverhulme
Trust Visiting Professorship.