(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 |