Organized by Yuichi Kaji (NAIST)

An (incomplete) list of participants.

• Yuichi Kaji (NAIST)
  
• Kensuke Baba (Kyushu University)
  
• Ken-etsu Fujita (Kyushu Institute of Technology)
  
• Aart Middeldorp, Ko Sakai, Hiroshi Ikeda (University of Tsukuba)
  
• Yoshihito Toyama (JAIST): Decidability for Left-Linear Growing Term Rewriting Systems
  
• Takahito Aoto (Gunma University): On Termination of Graph Rewriting
  
• Masako Takahashi (Tokyo Institute of Technology), 3/16 only
  
• Mariangiola Dezani-Ciancaglini (Universita di Torino)
  
• Fer-Jan de Vries, Hitoshi Ohsaki (ETL)