58th TRS Meeting

February 20 – 22, 2023
Niigata, Japan


About TRS Meeting

The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. All participants are requested to present their recent activities, observations, etc. (in English). The subject of the talk, however, is not required to be one's original result; for example, it is perfectly acceptable to explain a paper of your interest or a tool that you're developping. (See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information.)

Basic Information

Date February 20 (Mon) – 22 (Wed), 2023
Venue Yumotoya
91-1 Iwamuro Onsen, Nishikan-ku, Niigata, Japan
Registration Fee 11,000 yen
Accommodation Fee 13,350 yen per night (incl. breakfast, dinner and tax)

The accommodation fee above is for using a shared room. A small number of single rooms is also available in 19,950 yen per night (incl. breakfast, dinner and tax). Please register soon as possible if you'd prefer a single room. The accommodation fee is requested to pay to the hotel at the time of your leave. Please pay the registration fee by cash to the organizer at the workshop.


Opening 14:0015:00, February 20 (JST)
Closing 12:00, February 22 (JST)

Due to the limited availability of shuttle bus, schedule of the first day of the meeting is moved +1 hour. So,the starting time will be 15:00. (added at Feb.14.)

Registration (CLOSED)

Please send the registration form below to Takahito Aoto email address
no later than January 20 (Fri), 2023.

                Registration Form of the 58th TRS meeting

Title of talk (*):
Duration of talk (*):
Room request: shared (\13,350 per night) / single (\19,950 per night) [delete one]
Sex: Male / Female [delete one]
Other requests/comments (on foods, partial participation, etc.):
The items marked with * can be sent later.
(Please confirm me if you don't get a reply from me within a couple of days.)


Hotel's Access map

A free shuttle bus service between JR Iwamuro Station and the hotel can be requested to the hotel, at least 1 day prior to your arrival. (Please feel free to let the organizer know if you need assistance.) JR Iwamuro Station is reached in approx. 50 minutes from JR Niigata Station via JR Echigo Line.


  1. Takahito Aoto(Niigata University)
  2. Nao Hirokawa(JAIST)
  3. Munehiro Iwami(Shimane University)
  4. Dohan Kim(University of Innsbruck)
  5. Aart Middeldorp(University of Innsbruck)
  6. Koko Muroya(Kyoto University)
  7. Teppei Saito(JAIST)
  8. Jonas Schöpf(University of Innsbruck)
  9. Kiraku Shintani(JAIST)
  10. René Thiemann(University of Innsbruck)
  11. Akihisa Yamada(AIST)
  12. Shun Zhao(Niigata University)