WADT 2012

21st International Workshop on Algebraic Development Techniques

Salamanca, Spain, June 7-10, 2012

WADT 2012 Submissions

The scientific programme of the workshop included presentations of recent results and ongoing research. The final versions of the selected abstracts are available here in pdf format.

After the celebration of the workshop, authors can submit the final version of their works (up to 15 pages in LNCS format) until October 4th, at http://www.easychair.org/conferences/?conf=wadt2012. These will be refereed and published as a volumen of Lecture Notes in Computer Science (LNCS 7841, Springer). Further information: Proceedings section.

The post-proceedings of the previous conferences are available from Springer Verlag: