Program
| Meeting room: | Room 534 (5th floor) |
| Length of talk: | 30 minutes |
Saturday, February 7
| 14:00 | Registration (at the reception desk) |
| 14:30 | Opening |
| 14:30 – 16:00 | Free discussion |
| 15:30 | Coffee break |
| 16:00 – 17:00 | Session 1 (chair: Akihisa Yamada) |
| Derivational Complexity vs. Minimal Function Graphs | |
| Naohi Eguchi(Chiba University) | |
| Formalization of Safety Requirement for ISO 26262 | |
| Yuki Chiba(JAIST) | |
| 18:00 | Banquet (Lounge, ground floor) |
Sunday, February 8
| 10:15 – 12:00 | Session 2 (chair: Yuki Chiba) |
| Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules | |
| Aart Middeldorp(University of Innsbruck) | |
| Confluence via Church-Rosser Modulo | |
| Nao Hirokawa(JAIST) | |
| Some Results on Confluence of Left-Linear TRSs | |
| Michio Oyamaguchi(Nagoya University) | |
| 12:00 | Lunch (Restaurant Diamond, ground floor) |
| 13:30 – 15:30 | Free discussion |
| 15:00 | Coffee break |
| 15:30 – 17:00 | Session 3 (chair: Naohi Eguchi) |
| Why Ordinals are Sometimes Good for You | |
| Georg Moser(University of Innsbruck) | |
| Confluence proofs for lambda calculi with permutative conversion | |
| Koji Nakazawa(Kyoto University) | |
| A heuristic procedure for inverse unfold problem | |
| Masahiko Sakai(Nagoya University) | |
| 18:00 | Dinner (Restaurant Diamond, ground floor) |
Monday, February 9
| 10:00 – 11:30 | Session 4 (chair: Nao Hirokawa) |
| SAT Solvers in Combinatorial Testing | |
| Akihisa Yamada(AIST) | |
| Proving ground confluence by rewriting induction | |
| Yoshihito Toyama(Tohoku University) | |
| Proving Ground Confluence of TRSs Automatically | |
| Takahito Aoto(Tohoku University) | |
| 11:30 | Closing |