[TYPES] RTA'05: 1st Call for Participation

Ralf Treinen treinen at lsv.ens-cachan.fr
Wed Feb 23 15:10:33 EST 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 at m.aist.go.jp
http://staff.aist.go.jp/hitoshi.ohsaki/




More information about the Types-list mailing list