Ogawa Laboratory

31st TRS Meeting

Yamanaka, Kaga, Ishikawa

About TRS Meeting

Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are encouraged to present their recent activities, observations, and results at the meeting.


date: February 22 (Sun), 2009 -- February 24 (Tue), 2009
venue: Yanamaka Prince Hotel, Yamanaka, Kaga, Ishikawa
participation fee: free (thanks to Prof. Ogawa)
accommodation fee: Feb 22: 10,800 yen (incl. dinner and breakfast)
Feb 23: 8,800 yen (incl. dinner and breakfast); 7,800 yen (incl. breakfast)
banquet fee: ? (3,000 yen?)


February 22 (Sun)
19:00 - 20:00reception and dinner
February 23 (Mon)
 9:00 - 12:00 Proving Confluence of Term Rewriting Systems Automatically
Takahito Aoto (Tohoku University) 30 min
coffee break
Typechecking Tree Transducers
Keisuke Nakano (University of Electro-Communications)30 min
KBO Orientability
Nao Hirokawa (JAIST)45 min
12:00 - 14:00lunch
14:00 - 18:00 Strong convergence of combinators
Munehiro Iwami (Shimane University)30 min
Rewriting Induction
Dominik Klein (JAIST) 30 min
coffee break
Context-sensitive innermost reachability is decidable for linear right-shallow TRSs
Yoshiharu Kojima (Nagoya University)30 min
Proving Non-Orientable Equations in Rewriting Induction using Termination Checker
Haruhiko Sato (Hokkaido University)20 min
coffee break
Dependency Pairs and Polynomial Path Orders
Georg Moser (University of Innsbruck) 45 min
Program Transformation Templates for Tupling Based on Term Rewriting
Yuki Chiba (JAIST) 30 min
19:00 - banquet
February 24 (Tue)
 9:00 - 12:00 Antichain for Checking Visibly Pushdown Automaton
Mizuhito Ogawa (JAIST) 45 min
coffee break
Beyond Dependency Graphs
Aart Middeldorp (University of Innsbruck)45 min
Decidability of termination for TRSs with right-shallow DPs
Masahiko Sakai (Nagoya University)30 min