30th TRS Meeting

August 25(Mon) - 26(Tue), 2008,
Hokkaido University, Sapporo

Objectives

The TRS Meeting is an informal bi-annual workshop aiming to promote the research on rewriting and related areas. Basically, each participant is required to give a talk of around 0.5 hours (or more). The subjects of the talks are not restricted to one's own active research; you are welcome to explain paper(s) of interest written by someone else. (See Rewriting Researchers Forum for further information.)

Location

Graduate School of Information Science and Technology, Hokkaido University
(北海道大学　情報科学研究科), Room A22(on the second floor)
アクセス (access info.)

Program (tentative)

Aug. 25 (Mon)

• 11:00 -- 12:00
  • Open registration
• 13:30 -- 17:30
  
  • Jaroen Ketema (Tohoku University)
    Productivity
  • Takahito Aoto (Tohoku University)
    Sound Generalization for Proving Inductive Validity of Equations
  • Haruhiko Sato (Hokkaido University)
    Node-based Simulation for Rewriting Induction with Termination Checking
  • Aart Middeldorp (University of Innsbruck)
    Increasing Interpretations
• 18:30 -- 20:30
  • Banquet

Aug. 26 (Tue)

• 9:30 -- 13:00
  • Munehiro Iwami (Shimane University)
    Acyclic and Related Properties of Combinators
  • Yuki Chiba (Japan Advanced Institute of Science and Technology)
    Proof Checker of Correct Transformation Templates
  • Junichi Yoshida (Tohoku University)
    Checking Commutativity for proving Confluence of Term Rewriting Systems
  • Masahiko Sakai (Nagoya University)
    On confluent property of shallow term rewriting systems

Participants

• Takahito Aoto (Tohoku University)
• Yuki Chiba (Japan Advanced Institute of Science and Technology)
• Munehiro Iwami (Shimane University)
• Jaroen Ketema (Tohoku University)
• Masahito Kurihara (Hokkaido University)
• Aart Middeldorp (University of Innsbruck)
• Masahiko Sakai (Nagoya University)
• Haruhiko Sato (Hokkaido University)
• Junichi Yoshida (Tohoku University)