43rd TRS Meeting

September 8 – 10, 2015
Morioka, Japan


About TRS Meeting

The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on term rewriting and related areas. Every participant is highly encouraged to present recent works possibly in progress. It is perfectly acceptable to explain a paper written by someone else. Information on past meetings can be found at TRS Meeting homepage.

Basic Information

Date September 8 (Tue) – 10 (Thu), 2015
Venue Yumori Hotel Taikan (webpage in japanese)
37-1 Yu no Date, Aza, Tsunagi, Morioka, Iwate, 020-0055, Japan
Fee ¥10,086 / day (inc. breakfast, dinner and tax)

Tentative Schedule

Room Katafuji (we wil have a screen and a whiteboard)
Opening 13:30, September 8
Closing 12:00, September 10
Timetable Tentative Program



Deadline August 19th (Wed), 2015

Please fill in the following registration form and send it to our secretary Sagae-san (sagae [at] nue.riec.tohoku.ac.jp) by e-mail. Items marked with ∗ can be sent later.

             Registration Form of the 43rd TRS Meeting             


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


  1. Takahito Aoto(Tohoku University)
  2. Yuki Chiba(JAIST)
  3. Naohi Eguchi(Chiba University)
  4. Nao Hirokawa(JAIST)
  5. Munehiro Iwami(Shimane University)
  6. Aart Middeldorp(University of Innsbruck)
  7. Tran Thi Bao Ngo(JAIST)
  8. Michio Oyamaguchi(Nagoya University)
  9. Norbert Preining(JAIST)
  10. Yoshihito Toyama(Tohoku University)
  11. Kento Yamazaki(JAIST)


Hotel's Access map.

There is a hotel's shuttle bus from Morioka station (departure at bus stop No.28 at the West Exit) to the hotel twice a day (10:40 and 15:30). Note that you have to make an appointment to use the shuttle bus by 3 days prior to your arrival. You can send inqueries to the hotel from the webpage.

There is a reginal bus from Morioka station at most once an hour. The bus leaves stop No.10 of bus terminal at the East Exit of Morioka Station. You can reach Tsunagi Onsen bus stop from Morioka Station in about 30 minutes (takes about 620 yen) and the hotel is 4 minutes walk from the bus stop. Here are time table and route map (you find Tsunagi Onsen at the bottom center of the map and Morioka Station at the right upper corner of the map) of the bus, which you can find at Shizukuishi section of the Iwate-ken Kotsu webpage.



This meeting is supported by JSPS KAKENHI Grant Number 25330004.