(Last update: September 25, 2020)
Program
Thursday, September 24
| 14:00 | Opening | |
| 14:00 – 15:00 | Session 1 (chair: Takahito Aoto) | |
| Multi-Dimensional Interpretation Methods(45 min) | ||
| Akihisa Yamada(AIST) | ||
| 15:00 – 15:15 | Coffee Break | |
| 15:15 – 16:45 | Session 2 (chair: Munehiro Iwami) | |
| Confluence Analysis of CTRSs by Usable Rules(30 min) | ||
| Masahiro Doi(JAIST) | ||
| Left-Normal Translation for Applicative Term Rewriting Systems(30 min) | ||
| Yusuke Suzuki(JAIST) | ||
| 19:30 – 20:30 | After Dinner Session |
Friday, September 25
| 10:30 – 12:00 | Session 3 (chair: Nao Hirokawa) | |
| Proving Uniqueness of Normal Forms w.r.t. Reduction(30 min) | ||
| Takahito Aoto(Niigata University) | ||
| Parallel Rewriting and Strong Commutation(30 min) | ||
| Kiraku Shintani(JAIST) | ||
| 12:00 – 14:00 | Lunch Break | |
| 14:00 – 16:15 | Session 4 (chair: Akihisa Yamada) | |
| Superterm Criterion(30 min) | ||
| Nao Hirokawa(JAIST) | ||
| Confluence Criteria for Semi-Equational Conditional Term Rewriting Systems with Extra Variables(30 min) | ||
| Aoi Sasagawa(Niigata University) | ||
| Commutative Rational Term Rewriting (30 min) | ||
| Munehiro Iwami(Shimane University) |
Saturday, September 26
| 10:30 – 12:00 | Session 6 | Free Discussion |
| 12:00 | Closing |