[logic-ml] 47th TRS meeting (参加者募集)

-- 岩見 宗弘 島根大学 総合理工学研究科 情報システム学領域 E-mail: [email protected] ----------------------------------------- 47th TRS Meeting September 25 - 27, 2017 Matsue, Japan http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting47/ 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/). Basic Information Date September 25 (Mon) - 27 (Wed), 2017 Venue Matsue New Urban Hotel (webpage in Japanese) 40-1, Nishicha-machi, Mstsue-shi, Shimane, 690-0845, Japan Fee Registration: 6,000 JPY (includes coffee breaks and meeting room) Accomodation: 8,400 JPY (Sep. 25) (includes breakfast and dinner) and 12,560 JPY (Sep. 26) (includes breakfast and bunquet) Tentative Schedule Room Koto (we will have a screen and a whiteboard) Opening 13:30, September 25 Closing 12:00, September 27 Timetable Tentative Registration Deadline July 14th (Fri), 2017 Please fill in the following registration form and send it to Munehiro Iwami (munehiro [at] cis.shimane-u.ac.jp) by e-mail. Items marked with * can be sent later. -------------------------------------------------------------------------------------------- Registration Form of the 47th TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): preference on your room: [standard single room / Japanese style single room] (choose one) (In case of partial participation, please contact us) --------------------------------------------------------------------------------------------