Conferences
RTA'05: 16th International Conference on Rewriting Techniques and Applications
TLCA'05: 7th International Conference on Typed Lambda Calculi and Applications
Workshops and scientific event
RULE'05: 6th International Workshop on Rule-Based Programming
UNIF'05: 19th International Workshop on Unification
WRS'05: 5th International Workshop on Reduction Strategies in Rewriting and Programming
WG 1.6: IFIP Working Group 1.6 on Term Rewriting
Conference Officials
Sponsors
Nara
&
Kansai region
Traveling
Travel hints
(by Ralf Treinen)
Program
Conference hall
This page is hosted by
Research Institute for Mathematical Sciences
, Kyoto University.