[logic-ml] CFP: 49th TRS Meeting at Ikaho

[Fujita Kenetsu]

皆様，

第49回TRS Meetingのご案内をさせて頂きます．

どうぞよろしくお願いいたします．

藤田 憲悦（群馬大学）
==============================================================

                            Call For Participation

                              49th TRS Meeting

                           September 25 -- 27, 2018
                               Ikaho, Gunma

* 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. See also Rewriting
Researchers Forum for further information:

http://www.jaist.ac.jp/~hirokawa/trs-meeting/

We should like to invite all of you to the upcoming TRS Meeting at 
Ikaho, Gunma.

* Information

  Date:        September  25 (Tues) -- 27 (Thur), 2018

  Venue:      Ikaho Onsen, Nagomigokoro No Yado Omori:
http://www.ikaho-omori.com/eng/
                58 Ikaho, Shibukawa city, Gunma 371-0102

  Access: http://www.ikaho-omori.com/eng/

* Schedule

  Opening:    14:00 on Sept 25 (Tues)
  Closing:    12:00 on Sept 27 (Thur)

* Fee

  Registration for meeting room fee, tea and snacks at breaks:
   4,000 JPY

  Accommodation fee including breakfasts and dinners (lunches are not 
included):
   A shared room with four (10,950　JPY per night)
   A shared room with three (11,490　JPY per night)
   (A six-mat single room (12,030 JPY per night) but limited to several)

* Registration form

  Please send the registration form below to Ken-etsu Fujita
(mailto: fujita at cs.gunma-u.ac.jp) no later than August 24, 2018.
Registration after the deadline is subject to room availability.

-------------------------------------------------------------------------------------------------------------
               Registration Form of the 49th TRS meeting

  name:
  affiliation:
  [male / female] (leave one)
  special room request:  [single room / shared room / none] (leave one)

--------------------------------------------------------------------------------------------------------------

Japanese style shared rooms are default, but several single are also 
available.
If you prefer a single, let me know at your earliest convenience.
In the latter case, let me also know your roommate.

* Contact
  Ken-etsu Fujita (mailto: fujita at cs.gunma-u.ac.jp)
==============================================================

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180315/3ca29499/attachment.html>