Last modified: Mar 01, 2017

46th TRS meeting

Feb 27, 2017 -- Mar 1, 2017
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.)