[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