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: | September 18 (Wed) – 20 (Fri), 2013 |
venue: | Akita Onsen Satomi |
Keidaikawara Soegawa, Akita, 010-0822 | |
organizer: | Christian Sternagel (JAIST) |
registration: | closed |
Participants
- Yuki Chiba(JAIST)
- Nao Hirokawa(JAIST)
- Munehiro Iwami(Shimane University)
- Aart Middeldorp(University of Innsbruck)
- Mizuhito Ogawa(JAIST)
- Michio Oyamaguchi(Nagoya University)
- Masahiko Sakai(Nagoya University)
- Toshimitsu Sakai(Nagoya University)
- Christian Sternagel(JAIST)
- Yoshihito Toyama(Tohoku University)
- Harald Zankl(University of Innsbruck)
Program
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 |