WADT 2016 International Workshop on Algebraic Development Techniques

Gregynog House
The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) will take place in Gregynog, Wales, from 21st to 24th September, 2016.


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).