50th TRS Meeting

February 27 – March 2, 2019
Atami (Shizuoka)
Hosted by ERATO HASUO Metamathematics Design Project


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 of approximately 15–60 minutes in English on their research activities. See also Rewriting Researchers Forum for further information. We should like to invite all of you to the upcoming TRS Meeting at Atami, Shizuoka. Partial participation is also welcome.

Basic Information

February 27 – March 2, 2019
New Fujiya Hotel (the page is only in Japanese, sorry)
1km walk from Atami station (cf. Google map), or a bus ride (time table).
For accommodation, see below. Registration is free for students, 8,000 JPY for researchers.

Accommodation Fee

Breakfasts and dinners are included. Some single rooms are available (western style, no good view, check photo).

Feb. 27:
12030 JPY = 11,000 + 880 (consumption tax) + 150 (hot spring tax)
Feb. 28:
12030 JPY
Mar. 1:
13110 JPY = 12,000 + 960 + 150


14:30, February 27 (Wed)
12:00, March 2 (Sat)


Please send the registration form below to Akihisa Yamada (akihisayamada at nii.ac.jp) no later than January 11.
                Registration Form of the 50th TRS meeting

title of talk: (if decided)
[male / female] (leave one)
special room request:  [single room / any] (leave one)


  1. Aart Middeldorp (U. Innsbruck)
  2. Akihisa Yamada (NII)
  3. Alexander Lochmann (U. Innsbruck)
  4. Cezary Kaliszyk (U. Innsbruck)
  5. David Sprunger (NII)
  6. Donghoon Shin (Nagoya U.)
  7. Fabian Mitterwallner (U. Innsbruck)
  8. Hitoshi Ohsaki (AIST) (2/27)
  9. Kiraku Shintani (JAIST) (2/27–3/1)
  10. Kohei Nishino (Niigata U.)
  11. Masahiko Sakai (Nagoya U.)
  12. Michio Oyamaguchi (Nagoya U.)
  13. Mizuhito Ogawa (JAIST) (2/27–2/28)
  14. Munehiro Iwami (Shimane U.)
  15. Nao Hirokawa (JAIST) (2/27–3/1)
  16. Naoki Nishida (Nagoya U.)
  17. Ryoma Senda (Nagoya U.) (2/27–3/1)
  18. Ryota Nakayama (Nagoya U.)
  19. Sarah Winkler (U. Innsbruck)
  20. Takahito Aoto (Niigata U.)
  21. Toru Takisaka (NII) (2/28–3/2)
  22. Yusuke Oi (JAIST) (2/27–3/1)


Akihisa Yamada