38th TRS meeting
Kofu, Yamanashi
http://www.trs.cm.is.nagoya-u.ac.jp/event/38thTRSmeeting/
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: http://www.jaist.ac.jp/~hirokawa/trs-meeting/)
Information
Date: | April 2 (Tue) - 4 (Thr), 2013 |
Venue: | Ryokan Yogai, Sekisuiji Onsen
(http://www.yougai.co.jp/) Kofu, Yamanashi |
Access Information
Pick up bus will be arranged at Kofu station on 14:15
Program
- Summary
Opening: 15:00 on April 2 (Tue) Closing: noon on April 4 (Thr) - Detailed program
Participants
- Yuki Chiba (JAIST)
- Nao Hirokawa (JAIST)
- Koji Iwanuma (Univ. of Yamanashi)
- Aart Middeldorp (Univ. of Innsbruck / JAIST)
- Hidetomo Nabeshima (Univ. of Yamanashi)
- Mizuhito Ogawa (JAIST)
- Michio Oyamaguchi (Nagoya Univ.)
- Masahiko Sakai (Nagoya Univ.)
- Christian Sternagel (JAIST)
- Van Khanh To (JAIST)
- Akihisa Yamada (Nagoya Univ.)
Registration
Please send the registration form below to Hidetomo Nabeshima and Masahiko Sakai (mail: nabesima at yamanashi.ac.jp, mail: sakai at is.nagoya-u.ac.jp) no later than February 28. Registrations after this date will also be accepted only if room capacity is allowed.
---------------------------------------------------------------------- Registration Form of 38th TRS meeting name: affiliation: title of talk *: approximate duration of talk * (in minutes): preference on your room: [A single room is prefered / A shared room is acceptable](choose one) (In case of partial participation, please contact us) ----------------------------------------------------------------------The items marked with * can be sent later.
Contact
Hidetomo Nabeshima (mail: nabesima at yamanashi.ac.jp)Masahiko Sakai (mail: sakai at is.nagoya-u.ac.jp)