[logic-ml] 47th TRS meeting (参加者募集)
Munehiro Iwami
munehiro at cis.shimane-u.ac.jp
Fri Jul 7 13:53:01 JST 2017
皆様
島根大学の岩見と申します。
9月25~27日に開催される「第47回 TRS Meeting」
の参加者募集をご案内致します。
今回は水の都とよばれる松江の宍道湖岸のホテル
で開催します。皆様、ぜひ参加をご検討下さい。
講演題目と講演時間は後程連絡して頂く形で構いま
せん。和室シングルルームは宍道湖眺望ありです。
通常のシングルルームは宍道湖眺望なしです。
7月14日(金)までに岩見へメールにて連絡してく
ださい。
--
岩見 宗弘
島根大学 総合理工学研究科
情報システム学領域
E-mail: munehiro at cis.shimane-u.ac.jp
-----------------------------------------
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)
--------------------------------------------------------------------------------------------
More information about the Logic-ml
mailing list