39th TRS Meeting

September 18 (Wed) – 20 (Fri), 2013

About the TRS Meeting

The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15 to 60 minutes in English on their research activities. The subject of the talk is not required to be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/)


date: September 18 (Wed) – 20 (Fri), 2013
venue: Akita Onsen Satomi
Keidaikawara Soegawa, Akita, 010-0822
organizer: Christian Sternagel (JAIST)
registration: closed



   September 18 (Wednesday)

14:00 – 15:30 Session 1 (chair: Yoshihito Toyama)
AC-KBO Revisited
Aart Middeldorp(University of Innsbruck)
Fixed Base Elementary Interpretations
Harald Zankl(University of Innsbruck)
16:00 – 17:30 Session 2 (chair: Mizuhito Ogawa)
Correctness of Abstract Completion
Nao Hirokawa(JAIST)
Certified Abstract Completion
Christian Sternagel(JAIST)
18:30 Dinner

   September 19 (Thursday)

09:00 – 10:30 Session 3 (chair: Aart Middeldorp)
On Reducibility of Word Problems for Equations to Those for Ground Equations
Toshimitsu Sakai(Nagoya University)
Confluence Proofs by Decreasing Diagrams and Persistency
Yoshihito Toyama(Tohoku University)
11:00 – 11:45 Session 4 (chair: Munehiro Iwami)
On Converting Pseudo-Boolean Constraints via BDD
Masahiko Sakai(Nagoya University)
13:30 – 15:20 Session 5 (chair: Masahiko Sakai)
Termination of Rule-Based Calculi for Uniform Semi-Unification
Munehiro Iwami(Shimane University)
Non-E-Overlapping Shallow TRSs are Confluent
Michio Oyamaguchi(Nagoya University)
15:40 – 17:10 Session 6 (chair: Harald Zankl)
A Technique for Detecting Errors based on Counter Examples in Model Checking
Yuki Chiba(JAIST)
Reachability/Coverability of SRSs
Mizuhito Ogawa(JAIST)
18:30 Banquet

   September 20 (Friday)

free discussion