News
- October 27, 2022: added a solution to TPPmark by Kanazawa-san.
- September 25, 2022: now the program for the TPP meeting is available.
- September 25, 2022: sent out an URL for the online meeting by email.
- September 22, 2022: updated the list of TPP participants.
- September 20, 2022: now the programs of 27th and 28th (for the TRS meeting) are available.
- September 15, 2022: updated the note on participation fees for the TRS. meeting.
- September 14, 2022: updated participants and tentative program for the TRS meeting.
- September 9, 2022: TPP calls for online presentations (deadline: Sep 22).
- September 9, 2022: included information on TPP meeting.
- September 9, 2022: added tentative program for the TRS meeting.
- August 31, 2022: registration for TRS meeting closed.
- July 22, 2022: registration for TRS meeting is open.
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
Basic Information
- dates:
- September 27 (Tue) 14:00 - September 29 (Thu) 12:00, 2022
- style:
- hybrid meeting (you may choose on-site participation or online participation)
- note:
- The meeting is co-located with TPP 2022.
About on-site participation
- venue:
-
Zen no Sato - Mirai
（禅の里・笑来）
Suwama 4-11, Eiheijichou, Yoshidagun, Fukui, Japan （福井県吉田郡永平寺町諏訪間４−１１） - capacity:
- ≤ 15 participants. First come, first served. So register now!
- fee:
-
student: 8,000 JPY per night
non-student: 10,000 JPY per night
About online participation
- meeting system:
- video meeting system Webex
- meeting URL:
- We sent you its URL by email. Please let us know if you do not find the email.
- fee
- free
Program
September 27 (Tue)
- 14:00
- opening time of the seminar room
- 14:20 - 15:40
- 1st session (chair: Nao Hirokawa)
- Hedge Transducers (30 min)
Akihisa Yamada- Reformulating the Dependency Pair Method as Reduction Orders (30 min)
Ziyu Guo - Hedge Transducers (30 min)
- 16:00 - 17:20
- 2nd session (chair: Takahito Aoto)
- Rewriting of Rational Terms by Tree Transducer (30 min)
Munehiro Iwami (online)- Duplicate Checking for Rewrite Systems (30 min)
Nao Hirokawa - Rewriting of Rational Terms by Tree Transducer (30 min)
- 17:40 - 19:00
- 3rd session (chair: Munehiro Iwami)
- Combination of Critical Pair Systems and Outside Closedness (30 min)
Kiraku Shintani- Rewriting Induction Framework for Proving Inductive Theorems (30 min)
Takahito Aoto - Combination of Critical Pair Systems and Outside Closedness (30 min)
- 19:30 - 21:00
- banquet
- 21:00 - 21:30
- free discussion
September 28 (Wed)
- 14:00 - 15:20
- 4th session (chair: Nao Hirokawa)
- Cut-elimination for a Hypersequent Calculus for First-order Gödel Logic over [0, 1] with Δ (30 min)
Norbert Preining- Interpretation Orders for Applicative Term Rewrite Systems (30 min)
Teppei Tanaka - Cut-elimination for a Hypersequent Calculus for First-order Gödel Logic over [0, 1] with Δ (30 min)
- 15:40 - 17:00
- 5th session (chair: Kazuhisa Nakasho)
- Hyper-Normalization via Context-Sensitive Rewriting (30 min)
Teppei Saito- On Transforming Imperative Programs into LCTRSs via Injective Functions from Configurations to Terms (30 min)
Naoki Nishida (online) - Hyper-Normalization via Context-Sensitive Rewriting (30 min)
- 17:20 - 19:00
- 6th session (chair: Naoki Nishida)
- AC-Completion for Left-Linear TRSs (30 min)
Johannes Niederhauser (online)- Development Closed Critical Pairs: Formalization and Certification (45 min)
Aart Middeldorp (online) - AC-Completion for Left-Linear TRSs (30 min)
- 19:30 - 21:30
- banquet & business meeting
- 14:00 JST = 07:00 CEST
- 17:20 JST = 10:20 CEST
- 19:00 JST = 12:00 CEST
September 29 (Thu)
See the program of the TPP meeting.Access
Fukui Station to venue
Echizen Railway operates the line between Fukui (福井) and Eiheiji-guchi (永平寺口) every half hour; 460 yen.- Fukui Station (12:25) → (12:50) Eiheiji-guchi
- Fukui Station (12:55) → (13:20) Eiheiji-guchi
- Eiheiji-guchi (12:50) → (13:12) Fukui Station
- Eiheiji-guchi (13:20) → (13:42) Fukui Station
To Fukui Station by train or bus
- limited express of JR Hokuriku Main Line (JR 北陸本線 特急).
- expressway bus (高速バス) operates from Nagoya and Kansai area.
From Komatsu Airport to Fukui Station
The following would be fit for flights of ANA754, HND1015 → KMQ1125.-
city bus + JR + Echizen Railway (280 + 860 + 460 yen):
Komatsu Airport (11:40) → (11:52) Komatsu Station (12:00) → (12:54) Fukui Station (13:25) → (13:50) Eiheiji-guchi -
Echizen Railway + limousine bus (460 + 1,400 yen):
Eiheiji-guchi (12:20) → (12:42) Fukui (13:10) → (14:09) Komatsu Airport
Registration (closed)
Please send the following registration form to Nao Hirokawa by email. The deadline is August 30 (Tue), 2022.
----------------------------------------------------------------------
Registration Form of the 57th TRS Meeting
Name:
Affiliation:
participation: [on-site / online]
If you choose on-site, please leave one: [Male / Female]
Title of talk (*):
Duration of talk (*):
Requests/comments (on foods, partial participation, etc.):
----------------------------------------------------------------------
The items marked with * can be sent later.
Participants
| • | Takahito Aoto | (Niigata University) | on-site |
| • | Ziyu Guo | (JAIST) | on-site |
| • | Nao Hirokawa | (JAIST) | on-site |
| • | Munehiro Iwami | (Shimane University) | online |
| • | Aart Middeldorp | (University of Innsbruck) | online |
| • | Johannes Niederhauser | (University of Innsbruck) | online |
| • | Naoki Nishida | (Nagoya University) | online |
| • | Mizuhito Ogawa | (JAIST) | on-site |
| • | Norbert Preining | (Mercari Inc, Japan) | on-site |
| • | Teppei Saito | (JAIST) | on-site |
| • | Kiraku Shintani | (JAIST) | on-site |
| • | Teppei Tanaka | (JAIST) | on-site |
| • | Akihisa Yamada | (AIST) | on-site |
Contact
- Nao Hirokawa (JAIST)
- Mizuhito Ogawa (JAIST)