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.

Steering Committee