[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: [email protected]
Registration deadline: May 31st, 2010
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
