WADT 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:

• Jose Luiz Fiadeiro, Peter Mosses, Fernando Orejas (Eds.): Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, ISBN 978-3-540-25327-3, Springer, 2005.
• Jose Luiz Fiadeiro, Pierre Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, ISBN 978-3-540-71997-7, Springer, 2007.
• Andrea Corradini, Ugo Montanari (Eds.): Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5486, ISBN 978-3-642-03428-2, Springer, 2009.
• Till Mossakowski (Ed.): Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Schloss Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer, 2011.