[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