20th International Workshop on Algebraic Development Techniques WADT 2010

Schloss Etelsen, Germany, 1st-4th July 2010

Registration is now closed. For any enquiries regarding registration, please contact the WADT2010 organising committee (Send email).