(Last update: October 2, 2023)
Program
Wednesday, September 27
| 14:00 - 14:30 | Registration (Room: Yuri, 2F) | |
| 14:30 - 15:45 | Session 1 (chair: Takahito Aoto) | |
| Non-omega-Strong Head Normalization, Non-Ground Loop and Acyclic of Several Combinators(45 min) | ||
| Munehiro IwamiShimane University | ||
| Non-Termination of Some Combinators(30 min) | ||
| Munehiro IwamiShimane University | ||
| 15:45 - 16:15 | Coffee Break | |
| 16:15 - 17:00 | Session 2 (chair: Nao Hirokawa) | |
| From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting(30 min) | ||
| Misaki KojimaNagoya University | ||
| 18:00 - 20:00 | Dinner (Room: Wakaba, 1F) |
Thursday, September 28
| 7:00 - 9:00 | Breakfast (Room: Restaurant Kunibiki, 1F) | |
| 10:00 - 12:00 | Session 3 (chair: Naoki Nishida) | |
| Confluence of Join CTRSs: Revisited(30 min) | ||
| Takahito AotoNiigata University | ||
| Reduction Methods for Confluence Problems(30 min) | ||
| Nao HirokawaJAIST | ||
| Free Discussion | ||
| 12:00 - 14:00 | Lunch Break | |
| 14:00 - 15:30 | Session 4 (chair: Munehiro Iwami) | |
| On Constrained Narrowing of Logically Constrained Term Rewrite Systems(30 min) | ||
| Naoki NishidaNagoya University | ||
| Satisfiability in Rewriting(30 min) | ||
| Akihisa YamadaAIST | ||
| Free Discussion | ||
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 16:30 | Session 5 (chair: Akihisa Yamada) | |
| Rewriting of Rational Terms by Tree Transducer Revisited II (30 min) | ||
| Munehiro IwamiShimane University | ||
| 16:30 - 17:00 | Business Meeting | |
| 18:00 - 20:00 | Dinner (Room: Wakaba, 1F) |
Friday, September 29
| 7:00 - 9:00 | Breakfast (Room: Restaurant Kunibiki, 1F) |
| 10:00 - 12:00 | Free Discussion |