61st TRS Meeting

News

February 4, 2025: changed the program a bit; updated the participation fee
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:: 9,970 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.

allergy information
Free WiFi is available
The meeting room is accompanied by (PET) bottles of tea

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); Formalizing Simultaneous Critical Pairs (45 min)
Aart Middeldorp (University of Innsbruck); TBA (30 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: 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)
12:00 - 14:00: lunch
14:00 - 16:00: 3rd session (chair: Akihisa Yamada); TBA (30 min)
Koji Nakazawa (Nagoya University); Incorrectness Separation Logic with Array and Pointer Arithmetic (30 min)
Yeonseok Lee (Nagoya University)
16:00 - 18:00: 4th session (chair: Koji Nakazawa); TBA (30 min)
Teppei Saito (JAIST); TBA (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); TBA (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)