What's new
- 40th TRS meeting has finished. Thank you very much for all presentations and discussion! (Mar. 19th) new!
- Updated: Program; Session 4 (Mar.14th)
- Updated: Program (Feb.26th)
- Updated: Information (hotel) (Feb.6th)
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/)
Information
| 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. |
Program
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) |