Version française
Home     About     Download     Resources     Contact us    
Browse thread
RTA'05: 2nd Call for Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ralf Treinen <treinen@l...>
Subject: RTA'05: 2nd Call for Participation

        ******************************************
        *                                        *
        *  RTA'05 SECOND CALL FOR PARTICIPATION  *
        *                                        *
        ******************************************

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/