[isabelle] Call for Participation: 20th WADT, July 1-4, 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
        Contact: wadt2010 at informatik.uni-bremen.de

           Registration deadline: May 31st, 2010

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.