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 |