54th TRS Meeting

March 15 – March 17, 2021
Online

News

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

Please send the registration form below to Akihisa Yamada (akihisa.yamada at aist.go.jp) no later than March 1.
----------------------------------------------------------------------
              Registration Form of the 54th TRS meeting

name:
affiliation:
title of talk: (if decided)
----------------------------------------------------------------------

Participants

  1. Aart Middeldorp (University of Innsbruck)
  2. Akihisa Yamada (AIST)
  3. Jérémy Dubut (NII)
  4. Kiraku Shintani (JAIST)
  5. Li Hanyuan (JAIST)
  6. Mirai Ikebuchi (MIT)
  7. Munehiro Iwami (Shimane University)
  8. Nao Hirokawa (JAIST)
  9. Naoki Nishida (Nagoya University)
  10. Shujun Zhang (Nagoya University)
  11. Takahito Aoto (Niigata University)

Contact

Akihisa Yamada