News
- February 22, 2023. (Final) program is added.
- February 14, 2023. Announcement of re-scheduling of the first day.
- February 13, 2023. Tentative program is updated.
- February 1, 2023. Tentative program is added.
- Janunary 6, 2023. List of (partial) participants is added.
- November 15, 2022. This page is created.
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.
Schedule
| Opening | |
| Closing | 12:00, February 22 (JST) |
| Program |
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
no later than January 20 (Fri), 2023.
----------------------------------------------------------------------
Registration Form of the 58th TRS meeting
Name:
Affiliation:
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.)
Access
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.
Participants
- Takahito Aoto(Niigata University)
- Nao Hirokawa(JAIST)
- Munehiro Iwami(Shimane University)
- Dohan Kim(University of Innsbruck)
- Aart Middeldorp(University of Innsbruck)
- Koko Muroya(Kyoto University)
- Teppei Saito(JAIST)
- Jonas Schöpf(University of Innsbruck)
- Kiraku Shintani(JAIST)
- René Thiemann(University of Innsbruck)
- Akihisa Yamada(AIST)
- Shun Zhao(Niigata University)
Organizer
- Takahito Aoto(Niigata University)