(Last update: Sep 11, 2015)
Program
| Meeting room: | Katafuji (located at Suimeikan 1F) |
Tuesday, September 8
| 13:30 – 17:30 | |
| Formalizing Termination Proofs under Quasi-interpretations Optimally | |
| Naohi Eguchi(Chiba University) | |
| Conditional Complexity Revisited | |
| Aart Middeldorp(University of Innsbruck) | |
| Coffee Break | |
| Sufficient Conditions for Confluence of Innermost Terminating TRSs | |
| Michio Oyamaguchi(Nagoya University) | |
| Free Discussion |
Wednessday, September 9
| 9:00 – 12:00 | |
| Quer durch den Gemüsegarten von CafeOBJ | |
| Norbert Preining(JAIST) | |
| On Comparison of Semi-Unification Problem | |
| Munehiro Iwami(Shimane University) | |
| Free Discussion | |
| 13:30 – 17:30 | |
| Termination Analysis via Strings (Failed) | |
| Nao Hirokawa(JAIST) | |
| Mint - Minimal Termination Tool | |
| Ngo Thi Bao Tran(JAIST) | |
| Coffee Break | |
| Termination by Ligature Orders | |
| Kento Yamazaki(JAIST) | |
| Termination of Tree Automata Completion | |
| Yoshihito Toyama(Tohoku University) | |
| Free Discussion |
Thursday, September 10
| 9:00 – 12:00 | |
| Checking Sufficient Completeness of Conditional Term Rewriting Systems by Unravelling | |
| Yuki Chiba(JAIST) | |
| Checking Critical Pairs of a Nominal Rewriting System | |
| Takahito Aoto(Tohoku University) | |
| Free Discussion |