40th TRS Meeting

March 17 (Mon) – 19 (Wed), 2014
Unazuki, Toyama

What's new

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: March 17 (Mon) – 19 (Wed), 2014
venue: URI: Unazuki Kokusai Hotel
Postal address: 7-26 Unazuki-Onsen, Kurobe City, Toyama 938-0282 Japan
Access: Train: Five-minute walk from Unazuki Onsen Station on the Toyama Chiho Railroad line. A hotel shuttle bus is available (reservation required). Car: 20 minutes from the Hokuriku Expressway Kurobe Interchange
organizer: NAKAMURA Masaki (Toyama Pref. Univ.)
hotel information: Share rooms (4-6 persons/1 room) : 12,750 yen/1 day including breakfast and dinner.


March 17 (Monday)

16:00 – 17:30 Session 1 (chair: Masaki Nakamura)
Towards Dependency Pairs for Relative Termination
Akihisa Yamada(Nagoya University)
Automating the Commutative Decomposition Method
Kiraku Shintani(JAIST)
18:30 Dinner

March 18 (Tuesday)

09:00 – 11:30 Session 2 (chair: Yuki Chiba)
Termination and confluence of CafeOBJ specifications with local equality predicates
Masaki Nakamura(Toyama Prefectural University)
Verification of Fairness Properties using CafeOBJ Rewriting
Norbert Preining(JAIST)
On Soundness for Reduction of TRSs Obtained by Condition Elimination for Normal CTRSs
Naoki Nishida(Nagoya University)
13:30 – 17:00 Session 3 (chair: Naoki Nishida)
Basic Normalization Theorem
Nao Hirokawa(JAIST)
Random Descent on Ordered Commutative Monoid
Yoshihito Toyama(Tohoku University)
Decision Procedures for Proving Inductive Theorems
Takahito Aoto(Tohoku University)
Abstract Congruence Closure
Munehiro Iwami(Shimane University)
18:30 Dinner

March 19 (Wednesday)

09:30 – 11:30 Session 4 (chair: Nao Hirokawa)
How to Prove the Correctness of Tupling Transformations based on Conditional Rewriting
Yuki Chiba(JAIST)
On constructing ROBDDs of Pseudo-Boolean constraints in band form and 2-clauses coding
Masahiko Sakai(Nagoya University)
Non-E-overlapping right-weakly-shallow TRSs are confluent
Michio Oyamaguchi(Nagoya University)