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

21 May 2010


      [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/ ]

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

Till Mossakowski