28th TRS meeting at Ikeda

The TRS Meeting is an informal bi-annual workshop aiming to promote the research on rewriting and related areas. Basically, each participant is required to give a talk of around 0.5 hour (or more duration). The subjects of the talks are not restricted to one's own active research; it is acceptable if speakers explain paper(s) of interest but written by someone else. (See Rewriting Researchers Forum for further information.)

Location

Ikeda site, AIST Kansai (産総研関西センター池田) in Ikeda (Osaka) (大阪府池田市)

The most convenient station is Hankyu Ikeda; it takes 15min from the station to AIST Kansai by foot (see the access map).

Accommodation

We prepare a hotel accommodation at Masumi-sou (マスミ荘) which is 5 minutes walk from Ikeda station. An official banquet will be held at this hotel on Tuesday.

Schedule (tentative)

• February 26: meeting (13:45-17:10)
• February 27: meeting (10:00-17:00)
• February 28: meeting (10:00-12:00)

Participants

• Hitoshi Ohsaki
  
• Toshinori Takai
• Peter Ölveczky
• Masahiko Sakai (27th)
  
• Munehiro Iwami
  
• Jeroen Ketema
• Naoki Nishida (27th PM, 28th)
• Yoshihito Toyama
• Takahito Aoto
• Yuki Chiba
• Keita Uchiyama (27th PM, 28th)

Program (Tentative)

Feb. 26 (Mon)

• 13:45 -- 14:45
  Peter Ölveczky (The University of Oslo)
  Rewriting-based modeling and analysis of real-time systems
• 14:45 -- 15:15 (break)
• 15:15 -- 16:10
  Hitoshi Ohsaki (AIST)
  Languages modulo Normalization
• 16:10 -- 16:20 (break)
• 16:20 -- 17:10
  Munehiro Iwami (Shimane Univ.)
  Confluence of left-linear and K-development closed term rewriting systems

Feb. 27 (Tue)

• 10:00 -- 10:50
  Yuki Chiba (Tohoku Univ.)
  Generallization for program transformation
• 10:50 -- 11:00
  (break)
• 11:00 -- 12:00
  Jeroen Ketema
  On normalisation and termination of infinitary combinatory reduction systems
• 12:00 -- 13:30 (Lunch time)
• 13:30 -- 14:10
  Keita Uchiyama (Nagoya Univ.)
  Decidability of innermost termination for semi-constructor term rewriting systems
• 14:10 -- 15:10
  Naoki Nishida (Nagoya Univ.)
  Convergent term rewriting systems for computing inverses of injective functions
• 15:10 -- 15:30 (break)
• 15:30 -- 16:10
  Masahiko Sakai (Nagoya Univ.)
  Straight Line Programming in Malbolge
• 16:10 -- 17:00
  Toshinori Takai (AIST)
  Monodic tree automaton
• 18:00 -- (meeting dinner)

Feb. 28 (Wed)

• 10:00 -- 11:00
  Takahito Aoto (Tohoku Univ.)
  Lemma discovery by generalization
• 11:00 -- 12:00
  Yoshihito Toyama (Tohoku Univ.)
  A proof of modular Church-Rosser by ordered completion

Registration

Please drop a line to Toshinori Takai (t-takai@aist.go.jp) before January 31st if you are considering to attend. Title of talk(s) can be left blank at the moment.

----------------------------------------------------------------------
                Registration Form of 28th TRS meeting

name:
affiliation:

* title of talk:
* approximate duration of talk (in minutes):

hotel reservation:

  (A) Hotel Masumi-sou (at Ikeda, per night about 7,500JPY,
      including breakfast) 
        February  26:  yes/no
        February  27:  yes/no
        request (if any, e.g., room mate):

  (B) I will book accommodation myself.


----------------------------------------------------------------------