The purpose of the meeting is to discuss and promote research in the field of rewriting and related areas. All participants are required to give a talk of approximately 15--60 minutes in English. We should like to invite all of you to the upcoming TRS meeting at Shimane University (Matsue).

Ken-etsu Fujita (Shimane University), Munehiro Iwami (Shimane University)

April 2 (FRI), 2004 ：総合理工学部1号館 情報棟1F講義室

14:00 -- 16:45 (Chairman: Hitoshi Ohsaki)

• 14:00--14:30 Takahito Aoto (Tohoku University):
  On computational models of priority rewriting systems

• 14:30--15:00 Ken-etsu Fujita (Shimane University):
  A bijective CPS-translation between classical and intuitionistic proofs

• 15:00--15:20 Munehiro Iwami (Shimane University):
  Persistence of termination for right-linear overlay term rewriting systems

  break

• 15:40--16:00 Keiichirou Kusakari (Nagoya University):
  Characterizing, Proving and Disproving Inductive Theorems in Higher-Order Systems

• 16:00--16:30 Toshiyuki Yamada (Mie University): TBA

April 3 (SAT), 2004 ：総合理工学部1号館 情報棟1F講義室

10:00 -- 12:15 (Chairman: Keiichirou Kusakari)

• 10:00--10:30 Toshinori Takai (CREST/JST):
  A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

• 10:30--11:00 Ichiro Mitsuhashi (Mie University):
  The Joinability and Unification Problems for Confluent Semi-Constructor TRSs

  break

• 11:15--11:45 Masanori Nagashima (Nagoya University): TBA

• 11:45--12:15 Naoki Nishida (Nagoya University): TBA

13:30 -- 17:05 (Chairman: Takahito Aoto)

• 13:30--14:10 Hitoshi Ohsaki (AIST):
  AC-tree automata and Parikh's theorem

• 14:10--14:40 Michio Oyamaguchi (Mie University): TBA

  break

• 15:00--15:30 Masahiko Sakai (Nagoya University):
  On normalizing strategies of left-linear strong-overlay TRSs

• 15:30--16:00 Yoshihito Toyama (Tohoku University):
  Termination of S-expression rewriting systems

  break

• 16:20--17:05 Aart Middeldorp (University of Innsbruck):
  Tyrolean Termination Tool

* 18:00 -- 20:00 Banquet: 魚一 (Uoichi)

April 4 (SUN), 2004

• Free discussion

The banquet of the meeting will be held in the evening of April 3rd.

18:00--20:00 魚一 (Uoichi), tel: 0852-22-2935

• Name:
• Affilation:
• Title of talk:
• Approximate duration of talk in minutes (between 15 and 60):
• Attendance to Banquet on April 3rd: [Yes/No]

PHOTOS

• Welcome to MATSUE

• Interdisciplinary Faculty of Science and Engineerting (Access to University, Campus Map around Faculty of Sci. & Eng. Bld. I, Information Bld.)

• Shimane University

• Mapion around Shimane University

• 総合理工学部(大学へのアクセス，キャンパスマップ：総合理工学部1号館 情報棟)

• 島根大学

• 松江までのアクセス

• 松江の観光と宿泊

• しまね観光ナビ

• 松江市の観光

• Rewriting Researchers' Forum
• Researchers in Rewriting
• Home Pages of Researchers in Computer Science