61st TRS Meeting

March, 2025
Japan

News

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 (per night):
20,900 JPY (shared-room by 4 persons, including breakfast and dinner) + 150 JPY onsen-tax
participation fee:
approx. 9,800 JPY 9,240 JPY (for a meeting room, a projector and a screen)
lunch:
The hotel does not offer lunch. We will go to a restaurant nearby.
misc.

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 the hotel bus from the station to the venue departing at 14:30, see the program below. Other departure time is at 14:30, 15:10, 15:50, 16:30, 17:10, or 17:50. Booking is required. Other possibilities are city bus, taxi and walk. See the hotel webpage for further information.

Venue to Kaga-Onsen Station

Departure of the hotel bus is at 8:30, 9:30, or 10:30. No booking is required.

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)
Formalizing Simultaneous Critical Pairs (45 min)
Aart Middeldorp (University of Innsbruck)
Constrained Rewriting in LCTRSs (45 min)
Takahito Aoto (Niigata University)
On CoCo 2025 (15 min)
Teppei Saito (JAIST)
19:00 - 21:00
banquet and discussion

March 11 (Tue)

8:00 - 9:00
breakfast
10:00 - 12:00
2nd session (chair: Aart Middeldorp)
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)
12:00 - 14:00
lunch
14:00 - 16:00
3rd session (chair: Akihisa Yamada)
Cyclic-Proof Systems for Symbolic Heaps Require Cut Formulas Outside Initial Signatures (30 min)
Koji Nakazawa (Nagoya University)
Incorrectness Separation Logic with Array and Pointer Arithmetic (30 min)
Yeonseok Lee (Nagoya University)
CPO for Beta-Eta-Normal Higher-Order Rewriting (45 min)
Aart Middeldorp (University of Innsbruck)
16:00 - 18:00
4th session (chair: Koji Nakazawa)
Echelon-Form Matrix Interpretation with Lexicographic Order (30 min)
Teppei Saito (JAIST)
Avoiding Russel's Paradox without Types (45 min)
Akihisa Yamada (AIST)
19:00 - 21:00
banquet and business meeting

March 12 (Wed)

8:00 - 9:00
breakfast
9:00 - 10:00
4th session (chair: Teppei Saito)
Termination and Non-Ground Loop of Generalized Combinators (45 min)
Munehiro Iwami (Iwate Prefectural University)
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 / 産業技術総合研究所

Contact

Teppei Saito (JAIST)