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.

Accepted Papers

The following abstracts have been accepted for presentation at WADT 2016. All submitted abstracts are avaliable here.