Logic List Mailing Archive

Rewriting Techniques and Applications (Nara, Japan, April 2005)

************************************
           *                                  *
           *  RTA'05  CALL FOR PARTICIPATION  *
           *     (First CFP announcement)     *
           *                                  *
           ************************************

The 16th International Conference on

             REWRITING TECHNIQUES AND APPLICATIONS
         http://www-i2.informatik.rwth-aachen.de/RTA05/

co-located with

* TLCA
   7th International Conference on Typed Lambda Calculi and
   Applications

and the workshops

* RULE
   6th International Workshop on Rule-Based Programming
* UNIF
   19th International Workshop on Unification
* WRS
   5th International Workshop on Reduction Strategies in
   Rewriting and Programming
* WG 1.6
   IFIP Working Group 1.6 on Term Rewriting

together form the Federated Conference on Rewriting, Deduction and
Programming (RDP'05).

RDP'05 takes place in

  Nara (Japan)
  http://www.pref.nara.jp/nara_e/index.html

in the period April 18 - April 23, 2005.

Registration for RTA, TLCA and the workshops is now open !

The deadline for early registration is

   MARCH 31, 2005.

Please visit the RTA'05 or RDP'05 website below for further information:

   RDP'05
   http://www.kurims.kyoto-u.ac.jp/rdp05/

   RTA'05
   http://www-i2.informatik.rwth-aachen.de/RTA05/

INVITED TALKS of RTA 2005:
* Amy Felty             (Ottawa)   joint with TLCA'05
* Yoshihito Toyama      (Sendai)
* Philip Wadler         (Edinburgh)

INVITED TALKS of the Anniversary Session to celebrate 20 years of RTA:
* Nachum Dershowitz     (Tel Aviv)
* Gerard Huet           (Rocquencourt)
* Jean-Pierre Jouannaud (Palaiseau)

For further questions please contact the conference chair:

RTA'05 CONFERENCE CHAIR:
Hitoshi Ohsaki
AIST, Japan
rta05@m.aist.go.jp
http://staff.aist.go.jp/hitoshi.ohsaki/