[Agda] Call for Participation: 20th WADT, July 1-4, 2010

[Till Mossakowski]

             [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 at informatik.uni-bremen.de

           Registration deadline: May 31st, 2010