(Last update: March 13, 2026)
Program
March 18, Wednesday
| 15:45 - 16:00 | Registration (Room: Takasago / 高砂, 3F) | |
| 16:00 - 17:30 | Session 1 (chair: Takahito Aoto) | |
| Termination and Confluence of Inverse Reductions for Several Combinators(45 min) | ||
| Munehiro IwamiIwate Prefectural University | ||
| TRSs that Challenge Automated Termination Provers(45 min) | ||
| Teppei SaitoJAIST | ||
| 18:00 - 20:00 | Dinner |
March 19, Thursday
| 6:30 - 9:00 | Breakfast (Room: Tenga / 天河, 3F) | |
| 10:00 - 12:00 | Session 2 (chair: Teppei Saito) | |
| TBA(45 min) | ||
| Takahito AotoNiigata University | ||
| Invitation to Finite Derivation Type(45 min) | ||
| Mirai IkebuchiKyoto University | ||
| Free Discussion | ||
| 12:00 - 14:00 | Lunch Break | |
| 14:00 - 15:30 | Session 4 (chair: Makoto Hamana) | |
| Runtime Complexity Analysis for the Merge Sort Algorithm(45 min) | ||
| Nao HirokawaJAIST | ||
| TBA(45 min) | ||
| Akihisa Yamada | ||
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 17:30 | Session 5 (chair: Akihisa Yamada) | |
| QuickProof: An Inductive Theorem Prover(45 min) | ||
| Yuta SunagawaJAIST | ||
| Contextual Improvement Verifier using Term Evaluation and Refinement Systems(45 min) | ||
| Makoto HamanaKyushu Institute of Technology | ||
| 17:30 - 18:00 | Business Meeting | |
| 18:00 - 20:00 | Dinner |
March 20, Friday
| 6:30 - 9:00 | Breakfast (Room: Tenga / 天河, 3F) |
| 10:00 - 12:00 | Free Discussion |