[loginf] RDP 2004 (RTA & workshops): Call for participation

Juergen Giesl giesl at informatik.rwth-aachen.de
Fri Apr 23 16:37:48 CEST 2004


Apologies for multiple copies:


                      CALL FOR PARTICIPATION	

        Early Registration Deadline: April 30 (next Friday !!)	


         *************************************************
         *                                               *
         *                   RDP 2004                    *
         *                                               *
         * http://www-i2.informatik.rwth-aachen.de/RDP04 *
         *                                               *
         *       Aachen, Germany, May 31 - June 5        *
         *                                               *
         *************************************************


For the program, registration, and accomodation, please see
http://www-i2.informatik.rwth-aachen.de/RDP04


The 2nd Federated Conference on Rewriting, Deduction, and Programming
consists of the following events:

--------------------------------------------------------------------------------

RTA (15th International Conference on REWRITING TECHNIQUES AND APPLICATIONS)

   Invited talks by:
     Neil Jones       (Copenhagen)
     Aart Middeldorp  (Innsbruck)
     Robin Milner     (Cambridge)

   PC-Chair: Vincent van Oostrom (Utrecht)

---------------------------------------------------------------------------------

HOR (2nd International Workshop on HIGHER-ORDER REWRITING)

   Invited talks by:
     Mariangola Dezani (Torino)
     Mark-Oliver Stehr (Hamburg)

   PC-Chairs:
     Delia Kesner        (Paris)
     Femke van Raamsdonk (Amsterdam)
     Joe Wells           (Edinburgh)

---------------------------------------------------------------------------------

RULE (5th International Workshop on RULE-BASED PROGRAMMING)

   PC-Chairs:
     Slim Abdennaher (Cairo)
     Christophe Ringeissen (Nancy)

---------------------------------------------------------------------------------

WFLP (13th International workshop on FUNCTIONAL AND (CONSTRAINT) LOGIC PROGRAMMING)

   PC-Chair: Herbert Kuchen (Muenster)

---------------------------------------------------------------------------------

WRS (4th International Workshop on REDUCTION STRATEGIES IN REWRITING AND PROGRAMMING)

  Invited talks by:
     Olivier Danvy   (Aarhus)
     Jan Willem Klop (Amsterdam)

   PC-Chairs:
     Sergio Antoy     (Portland)
     Yoshihito Toyama (Sendai)

---------------------------------------------------------------------------------

WST (7th International Workshop on TERMINATION)

  Invited talk by:
     Danny de Schreye (Leuven)

   PC-Chairs:
     Michael Codish  (Beer-Sheva)
     Aart Middeldorp (Innsbruck)

---------------------------------------------------------------------------------

WG 1.6 (IFIP Working Group 1.6 on TERM REWRITING)

   Chair: Claude Kirchner (Nancy)

---------------------------------------------------------------------------------

















More information about the loginf mailing list