27th TRS meeting

Place: Hotel Arrowie, Katayamadu Onsen

Date: September 24 (Sun) - 26 (Wed), 2006

Local organizer: Mizuhito Ogawa (JAIST)

Program (duration is up to 1 hour for each attendance)

    9/24 (Sun) 14:00-17:00
  1. Munehiro Iwami (Shimane Univ.), Confluence of left linear term rewriting systems.
  2. Takahito Aoto (Tohoku Univ.), Simplifying conjectures by conjectures in rewriting induction.
    Break
  3. Haruhiko Sato (Hokkaido Univ.), Completion procedures without explicit redcution orderings.
  4. Makoto Hamana (Gunma Univ.), Higher-order semantic labeling for Lambda X (explicit substitution).

    9/25 (Mon) 9:00-12:00
  5. Aart Middeldorp (Innsbruck Univ.), KBO as a Satisfaction Problem (with Harald Zankl).
  6. Masahiko Sakai (Nagoya Univ.), On decidability of termination.
    Break
  7. Jeroen Kelema (Tohoku Univ.), Boem Trees.
  8. Naoki Nishida (Nagoya Univ.), On reachability of oriented conditional term rewriting systems.

    9/25 (Mon) 13:30-17:00
  9. Rene Vestergaard (JAIST), A Discrete Nash Theorem w/Quadratic Complexity and Dynamic Equilibria.
    Break
  10. Masaki Nakamura (JAIST), A complete specification translation from behaivoral specifications to rewrite specifications (with Kong Weiqiang, Kazuhiro Ogata, Kokichi Futatsugi).
    Break
  11. Toshinori Takai (AIST), Computation trees and monodic regular tree languages.
  12. Yuji Chiba (Tohoku Univ.), Program transformation by template based on term rewriting

    9/26(Tue) 9:00-11:30
  13. Mizuhito Ogawa (JAIST), Inclusion problem for timed Buchi automata.
    Break
  14. Yoshihito Toyama (Tohoku Univ.), Recursive Path Ordering over S-expression rewriting systems.

List of participants.

Accomodation fee : approx. 12000JPY (per night)

Possbile connection from main cities