(Last update: Sep 28, 2021)
Program
Tuesday, September 28
| 15:00 – 15:30 | ||
| Session 1 (chair: Takahito Aoto) | ||
| Flat Rational Term Rewriting | ||
| Munehiro Iwami(Shimane University) | ||
| 15:30 – 15:45 | ||
| Break | ||
| 15:45 – 16:15 | ||
| Session 2 (chair: Munehiro Iwami) | ||
| An Analysis of the Weighted Path Order | ||
| Nao Hirokawa(JAIST) |
Wednesday, September 29
| 10:00 – 10:45 | ||
| Session 3 (chair: Nao Hirokawa) | ||
| Polynomial Termination over N is Undecidable | ||
| Aart Middeldorp(Nagoya University) | ||
| 10:45 – 11:00 | ||
| Break | ||
| 11:00 – 11:30 | ||
| Session 4 (chair: Kiraku Shintani) | ||
| A Simple Derivation System for Proving Sufficient Completeness and Its Variations | ||
| Takahito Aoto(Niigata University) | ||
| 12:00 – 14:00 | ||
| Lunch | ||
| 14:00 – 14:30 | ||
| Session 5 (chair: Akihisa Yamada) | ||
| On Improving Confluence and Infeasibility Proofs in CO3 | ||
| Naoki Nishida(Nagoya University) | ||
| 14:30 – 14:45 | ||
| Break | ||
| 14:45 – 15:15 | ||
| Session 6 (chair: Naoki Nishida) | ||
| Proof Order of Decreasing Diagrams | ||
| Kiraku Shintani(JAIST) | ||
| 15:15 – 15:30 | ||
| Break | ||
| 15:30 – 16:00 | ||
| Session 7 (chair: Aart Middeldorp) | ||
| Sub-Birkhoff in Isabelle/HOL | ||
| Akihisa Yamada(AIST) | ||
| 16:00 – 16:15 | ||
| Break | ||
| 16:15 – 18:00 | ||
| Business Meeting and Free Discussion |
Thursday, September 30
| 10:00 – 12:00 | |
| Free Discussion |