(Last update: February 22, 2023)
Program
Monday, February 20
| 15:00 | Opening | |
| 15:00 – 16:20 | Session 1 (chair: Takahito Aoto) | |
| Automating Compositional Confluence Criteria(30 min) | ||
| Kiraku ShintaniJAIST | ||
| Confluence Criteria for Logical Constrained Term Rewrite Systems(30-45 min) | ||
| Jonas SchöpfUniversity of Innsbruck | ||
| 16:20 – 16:35 | Coffee Break | |
| 16:35 – 17:55 | Session 2 (chair: Kiraku Shintani) | |
| Undecidability of Uniqueness of Normal Forms with respect to Reductions for Flat and Right-Linear TRSs(30 min) | ||
| Shun ZhaoNiigata University | ||
| Local Coherence and Program Refinement (work in progress)(40 min) | ||
| Koko MuroyaRIMS, Kyoto University | ||
| 17:55 – 18:00 | Announcements |
Tuesday, February 21
| 10:00 – 12:00 | Session 3 (chair: Aart Middeldorp) | |
| Formalizing Parallel Critical Pairs via Contexts(45 min) | ||
| René ThiemannUniversity of Innsbruck | ||
| A Review of Simultaneous Critical Pairs(40 min) | ||
| Dohan KimUniversity of Innsbruck | ||
| Iwamura's Lemma: Induction on uncountable cardinality in Isabelle/HOL(40 min) | ||
| Akihisa YamadaAIST | ||
| 12:00 – 14:00 | Lunch Break | |
| 14:00 – 15:20 | Session 4 (chair: Dohan Kim) | |
| A Generalization of the Weighted Path Order(30 min) | ||
| Teppei SaitoJAIST | ||
| An Analysis of Semantic Path Orders(30 min) | ||
| Nao HirokawaJAIST | ||
| 15:20 – 15:35 | Coffee Break | |
| 15:35 – 17:00 | Session 5 (chair: Nao Hirokawa) | |
| Ground Canonical Rewrite Systems(45 min) | ||
| Aart MiddeldorpUniversity of Innsbruck | ||
| Hydra Battles and AC Termination(30 min) | ||
| Aart MiddeldorpUniversity of Innsbruck |
Wednesday, February 22
| 10:00 – 12:00 | Session 9 (chair: Akihisa Yamada) | |
| Rewriting of Rational Terms by Tree Transducer Revisited(30 min) | ||
| Munehiro IwamiShimane University | ||
| Decidability of Commutative Rewrite Steps in Rational Term Rewriting(30 min) | ||
| Takahito AotoNiigata University | ||
| 12:00 | Closing |