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.
Information
| date: | February 22 (Sun), 2009 -- February 24 (Tue), 2009 |
| venue: | Yanamaka Prince Hotel, Yamanaka, Kaga, Ishikawa http://www.yamanaka-prince.com/index_2.html |
| 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?) |
Program
| February 22 (Sun) | |
| 19:00 - 20:00 | reception 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:00 | lunch |
| 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 | |
Contact
- Nao Hirokawa (hirokawa
) - Yuki Chiba (chiba)