WADT 2012

21st International Workshop on Algebraic Development Techniques

Salamanca, Spain, June 7-10, 2012

WADT 2012 Proceedings

After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (LNCS 7841, Springer).

LNCS 7841 is now available online. You can find information about it at http://www.springeronline.com/978-3-642-37634-4 or access the online version at http://www.springerlink.com/content/978-3-642-37634-4/