(Last update: Sep 14, 2026)
Program
Sep 21, Monday
| 14:00 - 16:00 | Registration & Free Discussion | |
| 16:00 - 17:45 | Session 1 (chair: Munehiro Iwami) | |
| Termination and Innermost Termination of Right-Linear Overlay Term Rewrite Systems (45 min) | ||
| Naoki NishidaNagoya University | ||
| NaTT++(60 min) | ||
| Akihisa YamadaIndependent Researcher | ||
| 18:45 - | Dinner (がんこ 三条本店) |
Sep 22, Tuesday
| 10:30 - 12:05 | Session 2 (chair: Nao Hirokawa) | |
| Termination and Confluence of Inverse Reductions for Term Rewriting Systems(60 min) | ||
| Munehiro IwamiIwate Prefectural University | ||
| Cyclic Proofs and Size-change Termination(35 min) | ||
| Mirai IkebuchiKyoto University | ||
| 12:05 - 14:00 | Lunch Break | |
| 14:00 - 15:30 | Session 3 (chair: Makoto Hamana) | |
| A Decidability Criterion for Inductive Theories(45 min) | ||
| Nao HirokawaJAIST | ||
| Argument Labeling(45 min) | ||
| Yo YajimaJAIST | ||
| 15:30 - 16:00 | Break | |
| 16:00 - 17:30 | Session 4 (chair: Akihisa Yamada) | |
| Toward automated theorem proving for monoidal categories(45 min) | ||
| Yosuke FukudaKyoto Tachibana University | ||
| Categorical Coherence and Rewrite Systems(45 min) | ||
| Makoto HamanaKyushu Institute of Technology | ||
| 17:30 - 18:00 | Business Meeting | |
| 18:30 - | Dinner (おむら家) |
Sep 23, Wednesday
| 10:30 - 12:00 | Session 5 (chair: Naoki Nishida) | |
| Term Rewriting and FDT in Rocq(45 min) | ||
| Yuya ImotoKyoto University | ||
| Completing Combinators(45 min) | ||
| Teppei SaitoJAIST |