News
- January 14, 2025: added tentative program for the TRS meeting
- November 25, 2024: opened registration
- October 25, 2024: announced the dates
About TRS Meeting
The Term Rewriting Meeting, traditionally called ``TRS Meeting'', is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are encouraged to present their recent activities, observations, and results at the meeting (in English), however, it is perfectly acceptable to explain a paper written by someone else.
Information
- dates:
- March 10 (Mon) afternoon - March 12 (Wed) morning, 2025
- venue:
- 山代温泉ゆのくに天祥 / Yamashiro-onsen Yunokuni Tensyo (Ishikawa, Japan)
- Find on Google Map
- accomodation fee:
- 20,900 JPY per night (shared-room by 4 persons, including breakfast and dinner) + 150 JPY onsen-tax
- participation fee:
- 8,690 JPY (for a meeting room, a projector and a screen)
- lunch:
- The hotel does not offer lunch. We will go to a restaurant nearby.
- allergy information
- Free WiFi is available
Access
Your Place to Kaga-Onsen Station
Kaga-Onsen Station is a part of the Shinkansen network. It is also possible to come to Komatsu Airport by flight, and then use train from Komatsu Station to Kaga-Onsen.Kaga-Onsen Station to Venue
We will book a hotel bus from the station to the venue, see the program below.Program
March 10 (Mon)
- 14:30
- depature of the bus from Kaga-Onsen Station to the hotel
- 16:00 - 18:00
- 1st session (chair: Nao Hirokawa)
- TBA (30 min?)
Aart Middeldorp (University of Innsbruck)- TBA (30 min?)
Takahito Aoto (Niigata University) - TBA (30 min?)
- 19:00 - 21:00
- banquet
March 11 (Tue)
- 8:00 - 9:00
- breakfast
- 10:00 - 12:00
- 2nd session (chair: Takahito Aoto)
- Applicative Multiset Path Orders II (30 min)
Nao Hirokawa (JAIST)- A Beamer-Style Inductive Theorem Prover (25 min)
Nao Hirokawa (JAIST)- Automating Equational Unification (30 min)
Hiroka Hondo (JAIST) - Applicative Multiset Path Orders II (30 min)
- 12:00 - 14:00
- lunch
- 14:00 - 16:00
- 3rd session (chair: Akihisa Yamada)
- TBA (30 min)
Teppei Saito (JAIST)- TBA (30 min)
Koji Nakazawa (Nagoya University)- Incorrectness Separation Logic with Array and Pointer Arithmetic (30 min)
Yeonseok Lee (Nagoya University) - TBA (30 min)
- 16:00 - 18:00
- 4th session (chair: Teppei Saito)
- TBA (45 min)
Munehiro Iwami (Iwate Prefectural University)- TBA (45 min)
Akihisa Yamada (AIST)- buisiness meeting
- TBA (45 min)
- 19:00 - 21:00
- banquet
March 12 (Wed)
- 8:00 - 9:00
- breakfast
- 9:00 - 10:00
- free discussion
- 10:30
- depature of the bus from the hotel to Kaga-Onsen Station
Registration
Please send the following registration form to Teppei Saito by email. The deadline is January 10 (Fri), 2025.
----------------------------------------------------------------------
Registration Form of the 61st TRS Meeting
Name:
Affiliation:
Title of talk (*):
Duration of talk (*):
Requests/comments (on foods, partial participation, etc.):
----------------------------------------------------------------------
The items marked with * can be sent later.
Participants
| Name | Institution |
|---|---|
| Takahito Aoto | Niigata University |
| Nao Hirokawa | JAIST |
| Hiroka Hondo | JAIST |
| Munehiro Iwami | Iwate Prefectural University |
| Yeonseok Lee | Nagoya University |
| Aart Middeldorp | University of Innsbruck |
| Koji Nakazawa | Nagoya University |
| Teppei Saito | JAIST |
| Akihisa Yamada | AIST |