(Last update: Sep 27, 2017)
Program
| Meeting room: | Koto (located at Bekkan 2F) |
Monday, September 25
| 13:30 – 14:00 | ||
| Registration (Koto) | ||
| 14:00 – 14:45 | ||
| Session 1 (chair: Naoki Nishida) (Koto) | ||
| Commutative Unification for Rational Terms | ||
| Munehiro Iwami(Shimane University) | ||
| Free Discussion | ||
| 14:45 – 15:15 | ||
| Coffee Break | ||
| 15:15 – 17:00 | ||
| Session 2 (chair: Yoshihito Toyama) (Koto) | ||
| Completion via Ordered Completion | ||
| Nao Hirokawa(JAIST) | ||
| Short Break | ||
| On Confluence for Innermost Terminating TRSs | ||
| Michio Oyamaguchi(Nagoya University) | ||
| Free Discussion | ||
| 18:30 – 20:30 | ||
| Dinner (Restaurant Mansaku (Main building, 2F)) |
Tuesday, September 26
| 7:00 – | ||
| Breakfast (Sky View Candle (Main building, 9F)) | ||
| 9:00 – 10:30 | ||
| Session 3 (chair: Nao Hirokawa) (Koto) | ||
| Rhythm Tree Languages and Rewriting | ||
| Florent Jacquemard(INRIA) | ||
| Short Break | ||
| Development Closed Critical Pairs: Towards a Formalized Proof | ||
| Aart Middeldorp(University of Innsbruck) | ||
| Free Discussion | ||
| 10:30 – 11:00 | ||
| Coffee Break | ||
| 11:00 – 12:00 | ||
| Session 4 (chair: Michio Oyamaguchi) (Koto) | ||
| On Confluence of Innermost Terminating Term Rewriting Systems | ||
| Masahiko Sakai(Nagoya University) | ||
| Free Discussion | ||
| 12:00 – 14:00 | ||
| Lunch | ||
| 14:00 – 15:00 | ||
| Session 5 (chair: Takahito Aoto) (Koto) | ||
| Proving Injectivity via Recent Inversion Technique in Term Rewriting | ||
| Ryota Nakayama(Nagoya University) | ||
| Short Break | ||
| From Dependency Chains to Bounded Monotone Sequences of Integers | ||
| Naoki Nishida(Nagoya University) | ||
| Free Discussion | ||
| 15:00 – 15:30 | ||
| Coffee Break | ||
| 15:30 – 16:00 | ||
| Session 6 (chair: Akihisa Yamada) (Koto) | ||
| Rewriting Induction for Conditional Theories and Conditional Equations | ||
| Takahito Aoto(Niigata University) | ||
| Free Discussion | ||
| 16:00 – 17:00 | ||
| Session 7 (chair: Aart Middeldorp) (Koto) | ||
| Inductionless Induction by Extra Function Symbols | ||
| Yoshihito Toyama(Tohoku University) | ||
| Free Discussion | ||
| 18:30 – 20:30 | ||
| Banquet (Restaurant Mansaku (Main building, 2F)) |
Wednesday, September 27
| 7:00 – | ||
| Breakfast (Sky View Candle (Main building, 9F)) | ||
| 9:00 – 10:00 | ||
| Session 8 (chair: Masahiko Sakai) (Koto) | ||
| AC Dependency Pairs and More | ||
| Akihisa Yamada(University of Innsbruck) | ||
| Free Discussion | ||
| 10:00 – 10:30 | ||
| Coffee Break | ||
| 10:30 – 12:00 | ||
| Closing (Koto) | ||
| Free Discussion |