20th TRS meeting

Yamizo - Hitachi Daigo
March 26 - 28, 2002

The 20th TRS meeting will take place in Yamizo in Hitachi Daigo. The meeting will start at 2 pm on Tuesday March 26 and continue until the morning of the 28th.

We reserved a number of rooms in Yamizo. For the room charges, click the above web address. On the 27th there will be a party. In order to be assured of accommodation in Yamizo, please return the registration form at your earliest convenience by email to Aart Middeldorp (ami@is.tsukuba.ac.jp). If you like to stay elsewhere, there are several ryokan's in Hitachi Daigo, see


The TRS meeting is a biannual informal workshop aiming to promote research on rewriting and related areas. Participants are required to give a talk in English about recent research, however, it's perfectly acceptable to explain a paper written by someone else. See


for further background information.



Click here for general access information (in Japanese) and here for train information. The distance between Hitachi Daigo station and Yamizo is about 3 kilometers. A taxi costs around 1000 yen. Alternatively, it takes 15 minutes by bus (bound for Kurosawa). The bus departs from the station (among others) at 12:25, 12:33, 12:50, 14:35, 15:20.


The following is a tentative schedule:

Tuesday 26 March, 14:00 - 17:00

Takahito Aoto Gunma University
  • Simplifying Binding Term Rewriting Systems
Naoki Nishida Nagoya University
  • On Generating Inverse Systems of Constructor TRSs
Till Plewe University of Tsukuba
  • Rewriting the Conditions in Conditional Rewriting (by N. Ghani, C. Lueth, S. Kahrs)
Toshiyuki Yamada Mie University
  • Confluence by Parallel Reduction

Wednesday 27 March, 9:00 - 12:00

Toshinori Takai National Institute of Advanced Industrial Science and Technology (AIST)
  • Layered Transducing Term Rewriting System and Its Recognizability Preserving Property
Hitoshi Ohsaki National Institute of Advanced Industrial Science and Technology (AIST)
  • Petri Nets, Term Rewriting and Tree Automata
Yoshihito Toyama Tohoku University
  • On Decidability of Inductive Theorems
Christian Vogt University of Tsukuba / RISC Linz
  • Axiomization of Equational Theories

Wednesday 27 March, 14:00 - 17:00

Michio Oyamaguchi Mie University
  • On the Unification Problem for Term Rewriting Systems
Makoto Hamana Gunma University
  • Term Rewriting with Variable Binding
Tetsuo Ida University of Tsukuba
  • Some Topics from Higher-Order Lazy Narrowing
Rene Vestergaard JAIST
  • Some Formal Aspect of beta-Standardisation (II)

Thursday 28 March, 9:00 - 12:00

Nao Hirokawa University of Tsukuba
  • Implementation of Dependency Pair Technique
Keiichirou Kusakari Tohoku University
  • Path Orders in Simply-Typed Term Rewriting Systems
Mizuhito Ogawa JST
  • Complete Axiomatization of an Algebraic Construction of Graphs
Aart Middeldorp University of Tsukuba
  • Innermost Termination of Context-Sensitive Rewriting