News
- March 10, 2021: The program is fixed.
- March 4, 2021: A tentative program is up.
- March 2, 2021: Registration closed, thank you for registering!
- December 10, 2020: This page is created.
About TRS meeting
Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15–60 minutes in English on their research activities. See also Rewriting Researchers Forum for further information. We should like to invite all of you to the upcoming TRS Meeting held online. Partial participation is also welcome.
Basic Information
- Dates:
- March 15 – March 17, 2021
- Venue:
- Online
- Fees:
- Free
Program
March 15
| 9:30 – 11:00 | Opening & Session 1 (chair: Akihisa Yamada) |
|
Homological Methods in Rewriting Mirai Ikebuchi MIT | |
|
Termination Analysis of Term Rewrite Systems with Bounded Increase Li Hanyuan JAIST | |
| 11:00 – 11:15 | Break |
| 11:15 – 12:15 | Session 2 (chair: Nao Hirokawa) |
|
Fixed-Point Theorems for Non-Transitive Relations Jérémy Dubut NII | |
| 12:15 – 14:00 | Break |
| 14:00 – 15:00 | Session 3 (chair: Kiraku Shintani) |
|
Multi-Dimensional Interpretation Method 2 Akihisa Yamada AIST |
March 16
| 9:30 – 10:30 | Session 4 (chair: Munehiro Iwami) |
|
Transformation of Concurrent Programs with Semaphores into LCTRSs Naoki Nishida Nagoya U. | |
| 10:30 – 10:45 | Break |
| 10:45 – 12:15 | Session 5 (chair: Takahito Aoto) |
|
On Transformation between Cyclic Proofs and Rewriting Induction Proofs Shujun Zhang Nagoya U. | |
|
Parallel Closedness and Most Independent Systems Kiraku Shintani JAIST | |
| 12:15 – 14:00 | Break |
| 14:00 – 15:00 | Session 6 (chair: Naoki Nishida) |
|
Left-Normal Translation for Applicative Constructor Systems 2 Nao Hirokawa JAIST | |
| 15:15 – 18:00 | Business Meeting and Free Discussion (chair: Akihisa Yamada) |
March 17
| 9:30 – 10:30 | Session 7 (chair: Jérémy Dubut) |
|
Commutative Rational Term Rewriting Revisited Munehiro Iwami Shimane U. | |
| 10:30 – 10:45 | Break |
| 10:45 – 11:45 | Session 8 (chair: Akihisa Yamada) |
|
Confluence of Join CTRSs via Unraveling Takahito Aoto Niigata U. | |
| 11:45 – 14:00 | Break |
| 14:00 – 15:00 | Session 9 (chair: Akihisa Yamada) |
|
Certifying Proofs in the First-Order Theory of Rewriting Aart Middeldorp U. Innsbruck |
Registration
----------------------------------------------------------------------
Registration Form of the 54th TRS meeting
name:
affiliation:
title of talk: (if decided)
----------------------------------------------------------------------
Participants
- Aart Middeldorp (University of Innsbruck)
- Akihisa Yamada (AIST)
- Jérémy Dubut (NII)
- Kiraku Shintani (JAIST)
- Li Hanyuan (JAIST)
- Mirai Ikebuchi (MIT)
- Munehiro Iwami (Shimane University)
- Nao Hirokawa (JAIST)
- Naoki Nishida (Nagoya University)
- Shujun Zhang (Nagoya University)
- Takahito Aoto (Niigata University)