43rd TRS Meeting

News

• Sep 11, 2015. Program revised.
• Aug 31, 2015. Tentative Program added.
• Aug 23, 2015. List of participants added.
• July 21, 2015. Call for participation.

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

Registration

Closed

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             

name:
affiliation:

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

Participants

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)

Access

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.

Organisers

• Yoshihito Toyama(Tohoku University)
• Takahito Aoto(Tohoku University)

Acknowledgements

This meeting is supported by JSPS KAKENHI Grant Number 25330004.