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.

• Aart Middeldorp (Innsbruck Univ.)
  
• Yoshihito Toyama, Takahito Aoto, Jeroen Ketema, Yuki Chiba (Tohoku Univ.)
  
• Masahiko Sakai, Naoki Nishida (Nagoya Univ.)
  
• Munehiro Iwami (Shimane Univ.)
  
• Haruhiko Sato (Hokkaido Univ.)
  
• Makoto Hamana (Gunma Univ.)
  
• Rene Vestergaard (25th only), Masaki Nakamura (25th/26th only), Mizuhito Ogawa (JAIST)
  

Accomodation fee : approx. 12000JPY (per night)

• This is a special workshop rate, 3 persons in a room.
  
• With breakfast/dinner per person (inc. tax/survice).
  
• Lunch (9/25) available at 1540JPY.
  
• Lunch (9/26) upon request.
  
• If you prefer: 2 persons in a room, add 1050JPY (per night), single in a room, add 6300JPY (per night).
  
• Some additional fee for bivarage and wines:-)
  

Possbile connection from main cities

• Haneda 11:00 (JAL1275) -> Komatau 12:00
  
• Sendai 7:47 (Max Yamabiko 104) -> Haneda 11:00 (JAL1275) -> Komatau 12:00
  
• Shin Chitose 9:00 (Sky Mark 706) -> Haneda 11:00 (JAL1275) -> Komatau 12:00
  
• Izumo 8:05 (JAL1662) -> Haneda 11:00 (JAL1275) -> Komatau 12:00
  
• Nagoya 9:57 (Shirasagi 5) -> Kaga Onsen 12:24
  
• Osaka 10:12 (Raicho 13) -> Kaga Onsen 12:33
  
• Osaka 10:42 (Thunderbird 15) -> Kaga Onsen 12:53