[sorry if you receive this more than once] CALL FOR PARTICIPATION WADT 2010 20th International Workshop on Algebraic Development Techniques July 1-4, 2010, Etelsen, Germany Program and registration at http://www.informatik.uni-bremen.de/WADT2010/ Contact: wadt2010@informatik.uni-bremen.de Registration deadline: May 31st, 2010 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]