11th TRS meeting (University of Tuskuba, May 19-20, 1997)

Organized by Tetsuo Ida, Aart Middeldorp (University of Tsukuba)

List of presentations.

1. Mariangiola Dezani-Ciancaglini, Discrimination by Parallel Observers
   
2. Satoshi Okui, Extended Critical Pairs and Church-Rosser Property
   
3. Mitsu Okada, A Theory of Typed Higher Order Rewriting (joint work with M. Hamano)
   
4. Yohji Akama, Monads and Modular Term Rewriting (CTCS paper by Christoph Luth and Neil Ghani)
   
5. Zurab Khasidashvili, The Geometry of Orthogonal Reduction Spaces (joint ICALP'97 paper with John Glauert)
   
6. Mizuhito Ogawa, WQO, regularity, and their Applications
   
7. Aart Middeldorp, Decidable Call by Need Computations in Term Rewriting (joint CADE'97 paper with Irene Durand)
   
8. Patrick Viry, LEAN, rewriting languages for concurrency
   
9. Masahiko Sakai, On Simple Pattern of HO-TRS and Unification
   
10. Taro Suzuki, Completeness of Narrowing for Conditional Systems with Extra Variables in the Right-Hand Sides
    
11. Zurab Khasidashvili, Perpetuality and Uniform Normalization (joint paper with Mizuhito Ogawa)
    
12. Toshiyuki Yamada, Logicality of Conditional Term Rewriting Systems with Extra Variables
    

List of participants.

• Aart Middeldorp, Tetsuo Ida, Taro Suzuki, Hitoshi Ohsaki, Toshiyuki Yamada, Mohamed Hamada, Jun Matsuda, Mikiya Arai (Tsukuba Univ.)
  
• Mariangiola Dezani-Ciancaglini (Visiting Professor at Tokyo Inst.Tech.)
  
• Mitsu Okada (Keio Univ.)
  
• Michio Oyamaguchi, Satoshi Okui (Mie Univ.)
  
• Yoshihito Toyama (JAIST)
  
• Masahiko Sakai (Nagoya Univ.)
  
• Patrick Viry (Kyoto Univ. RIMS)
  
• Yohji Akama (Tokyo Univ.)
  
• Fer-Jan de Vries (ETL)
  
• Zurab Khasidashvili, Mizuhito Ogawa (NTT)