Last modified: Mar 01, 2017 JST

46th TRS meeting

Feb 27, 2017 - Mar 1, 2017
Shinojima, Aichi

About TRS meeting

Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information:


Date: Feb 27 (Mon) - Mar 1 (Wed), 2017
Venue: Shinojima Kanko Hotel Osumi
101 Doyama, Shinojima, Minamichita, Aichi


Opening: 15:00 on Feb 27 (Mon)
Closing: noon on Mar 1 (Wed)


  1. Aart Middeldorp (Univ. of Innsbruck)
  2. Sarah Winkler (Univ. of Innsbruck)
  3. Franziska Rapp (Univ. of Innsbruck)
  4. Yoshihito Toyama (Tohoku Univ.)
  5. Keisuke Nakano (Univ. of Electro-Communications)
  6. Takahito Aoto (Niigata Univ.)
  7. Nao Hirokawa (JAIST)
  8. Park Netrakom (JAIST)
  9. Ryoko Watanabe (JAIST)
  10. Michio Oyamaguchi (Nagoya Univ.)
  11. Masahiko Sakai (Nagoya Univ.)
  12. Shoji Yuen (Nagoya Univ.) 27th only
  13. Naoki Nishida (Nagoya Univ.)
  14. Mirai Ikebuchi (Nagoya Univ.)
  15. Sayaka Ishizuki (Nagoya Univ.)
  16. Yutaro Nagae (Nagoya Univ.)
  17. Munehiro Iwami (Shimane Univ.)


Please send the registration form below to Masahiko Sakai (mail: sakai at when you can, but no later than Jan 20 26, 2017.
Registrations after this date will also be accepted if room capacity allows.

                Registration Form of 46th TRS meeting

   [male / female] (leave one)
   [regular / student] (leave one)

preference on your room: [single room / shared room] (choose one)
  For single room, 4,000 JPY are additionally charged for two nights.

(In case of partial participation, please contact us)


Registration fee includes coffee breaks, welcome reception (with light meal) on Mon evening, and workshop dinner on Tue.
Accomodation fee includes breakfasts.


Masahiko Sakai (mail: sakai at