[TYPES/announce] WRS 2008 - Call for Participation

Aart Middeldorp Aart.Middeldorp at uibk.ac.at
Fri Jun 27 02:43:07 EDT 2008


        ********************************************************
        *                CALL FOR PARTICIPATION                *
        *                                                      *
        *                       WRS 2008                       *
        *                                                      *
        *  Reduction Strategies in Rewriting and Programming   *
        *               8th International Workshop             *
        *                                                      *
        *             Castle of Hagenberg, Austria             *
        *                      July 14, 2008                   *
        *                                                      *
        *    http://cl-informatik.uibk.ac.at/events/wrs2008/   *
        *                                                      *
        ********************************************************

PROGRAM
http://cl-informatik.uibk.ac.at/events/wrs2008/program/

REGISTRATION
http://cl-informatik.uibk.ac.at/events/wrs2008/registration/

LOCATION, TRAVEL, ACCOMMODATION:
http://www.risc.uni-linz.ac.at/about/conferences/rta2008/location.html

EARLY REGISTRATION DEADLINE:
June 30, 2008


More information about the Types-announce mailing list