RTA'05: 2nd Call for Participation

RTA'05: 2nd Call for Participation

Post by treine » Tue, 22 Mar 2005 19:36:17



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

The 16th International Conference on

REWRITING TECHNIQUES AND APPLICATIONS
http://www.yqcomputer.com/

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.yqcomputer.com/

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.yqcomputer.com/

RTA'05
http://www.yqcomputer.com/

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
XXXX@XXXXX.COM
http://www.yqcomputer.com/