47th TRS Meeting

September 25 – 27, 2017
Matsue, Japan


About TRS Meeting

Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/).

Basic Information

Date September 25 (Mon) – 27 (Wed), 2017
Venue Matsue New Urban Hotel (webpage in Japanese)
40-1, Nishicha-machi, Matsue-shi, Shimane, 690-0845, Japan
Fee Registration: 6,000 JPY (includes coffee breaks, screen, drink and meeting room)
Accommodation: 8,400 9,080 8,400 JPY (Sep. 25) (includes breakfast and dinner and drink) and
12,560 JPY (Sep. 26) (includes breakfast and banquet)
Registration Closed


Room Koto(we will have a screen, a whiteboard and a projector)
Opening 13:30, September 25
Closing 12:00, September 27
Timetable Program



Deadline July 14th (Fri), 2017

Please fill in the following registration form and send it to Munehiro Iwami (munehiro [at] cis.shimane-u.ac.jp) by e-mail. Items marked with ∗ can be sent later.

             Registration Form of the 47th TRS Meeting             


* title of talk:
* approximate duration of talk (15 - 60 minutes):

preference on your room: [standard single room / Japanese style single room] (choose one)

(In case of partial participation, please contact us)


  1. Takahito Aoto(Niigata University)
  2. Nao Hirokawa(JAIST)
  3. Munehiro Iwami(Shimane University)
  4. Florent Jacquemard(INRIA)
  5. Aart Middeldorp(University of Innsbruck)
  6. Ryota Nakayama(Nagoya University)
  7. Naoki Nishida(Nagoya University)
  8. Michio Oyamaguchi(Nagoya University), 25th-26th
  9. Masahiko Sakai(Nagoya University)
  10. Yoshihito Toyama(Tohoku University)
  11. Akihisa Yamada(University of Innsbruck)


Hotel's Access map (Access map in Japanese).