46th TRS meeting
Shinojima, Aichi
http://www.trs.cm.is.nagoya-u.ac.jp/event/46thTRSmeeting/
Program
Feb 27 (Mon)
| 14:30 - 15:00 | Registration (room 715) |
| 15:10 - 17:00 | Session 1 (chair: Naoki Nishida) (room 715) |
| Towards the zone-based reachability analysis of dense timed pushdown automata with frozen clocks
Shoji Yuen (Nagoya Univ.) | |
| An extension of proof graphs for quantified disjunctive parameterised Boolean equation systems
Yutaro Nagae (Nagoya Univ.) | |
| Word problems and a homological finiteness condition for monoids (50 min)
Mirai Ikebuchi (Nagoya Univ.) | |
| 18:30 - 20:30 | Welcome reception (room 711) |
Feb 28 (Tue)
| 7:30 - | Breakfast (room 711) |
| 9:00 - 10:00 | Session 2 (chair: Nao Hirokawa) (room 715) |
| On proving infeasibility of conditional critical pairs via narrowing trees
Naoki Nishida (Nagoya Univ.) | |
| Using PRSs on sufficient condition for confluence of innermost terminating TRSs
Sayaka Ishizuki (Nagoya Univ.) | |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:00 | Session 3 (chair: Takahito Aoto) (room 715) |
| Solving QFLIA by combining unit cube test and Smith normal form
Masahiko Sakai (Nagoya Univ.) | |
| On the right repetitive application of B-terms
Keisuke Nakano (University of Electro-Communications) | |
| Pattern separation
Park Netrakom (JAIST) | |
| 12:00 - 14:00 | lunch break |
| 14:00 - 15:00 | Session 4 (chair: Munehiro Iwami) (room 715) |
| Automated normalization analysis for term rewriting
Ryoko Watanabe (JAIST) | |
| Usable rules for non-normalization
Nao Hirokawa (JAIST) | |
| 15:00 - 15:30 | Coffee break |
| 15:30 - 17:00 | Session 5 (chair: Masahiko Sakai) (room 715) |
| New investigations in CSI
Aart Middeldorp (Univ. of Innsbruck) | |
| Improvements in ground confluence proving based on rewriting induction
Takahito Aoto (Niigata Univ.) | |
| Maximal ordered completion
Sarah Winkler (Univ. of Innsbruck) | |
| 18:30 - 19:00 | Business meeting (room 711) |
| 19:00 - 21:30 | Banquet (room 711) |
Mar 1 (Wed)
| 7:30 - | Breakfast (room 711) |
| 9:00 - 10:15 | Session 6 (chair: Sarah Winkler) (room 715) |
| Layer systems for proving confluence - Formalization of applications (45 min)
Franziska Rapp (Univ. of Innsbruck) | |
| On the unification of rational terms
Munehiro Iwami (Shimane Univ.) | |
| 10:15 - 10:45 | Coffee break |
| 10:45 - 11:45 | Session 7 (chair: Aart Middeldorp) (room 715) |
| Confluence criteria based on parallel critical pair closing
Yoshihito Toyama (Tohoku Univ.) | |
| Confluence of innermost terminating left-weakly-shallow TRSs is decidable
Michio Oyamaguchi (Nagoya Univ.) |