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

http://www.mito.ne.jp/~daigokan/

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

http://www.brl.ntt.co.jp/people/mizuhito/trs-meeting.html

for further background information.

 
 

Transportation

 
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.
 
 

Program

 
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