[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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
       http://www.informatik.uni-bremen.de/WADT2010/
        Contact: wadt2010@informatik.uni-bremen.de

           Registration deadline: May 31st, 2010