13th TRS meeting (Hokkaido Institute of Technology, Augest 31-September 1, 1998)

Organized by Masahito Kurihara (Hokkaido Institute of Technology)

List of presentations.

    8/31 (Mon) 13:00-18:30
  1. Michio Oyamaguchi, The Unification Problem for Confluent Right-Ground TRS's
  2. Yuichi Kaji, Unification Problem for Verifying Security of Cryptographic Protocols
  3. Juergen Giesl, Termination of Term Rewriting Using Dependency Pairs
  4. Takahito Aoto, Decidable/undecidable results in right-ground conditional TRSs
  5. Toshiyuki Yamada, CTRS with decidable membership
  6. Patrick Viry, Adventures in sequent calculus modulo equations
  7. Taro Suzuki, Decision problem of generalized reachablity (joint with Yoshihito Toyama)
  8. Mizuhito Ogawa, Proving Church-Rosser property of Conditional ARS (joint with Ken Mano)
    9/1 (Tue) 10:00-12:30
  9. Yoshihito Toyama, On labeling technique for TRSs
  10. Hitoshi Ohsaki, Equational Termination by Self-Labelling (joint with Aart Middeldorp)
  11. Aart Middeldorp, Lazy Conditional Narrowing Calculus: New and Old Completeness Results (joint with Mohamed Hamada, Taro Suzuki)
  12. Tetsuo Ida, Constraint Functional Logic Programming System: CFLP (joint with Mircea Martin)
    9/1 (Tue) 13:30-16:30
  13. Masahiko Sakai, Weakly Orthogonal Normal-Join CTRSs are Confluent (joint with Tohru Nishimura, Toshiki Sakabe)
  14. Toshihiko Kurata, Another theory of combinators for beta-equality
  15. Fer-Jan de Vries, On Translations (joint with Richard Kennaway, Vincent van Oostrom)
  16. Masahito Kurihara, On "Modularity of Termination for Disjoint Term Graph Rewrite Systems: A Simple Proof" by Enno Ohlebusch
  17. Free discussion

List of participants.