[logic-ml] 2nd CFP: 49th TRS meeting at Ikaho

[Fujita Kenetsu]

皆様，

第49回TRS Meeting（伊香保）のご案内をさせて頂きます．

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

藤田 憲悦（群馬大学）

================================================================================ 


                         Second Call For Participation

                              49th TRS meeting

                           September 25 -- 27, 2018
                               Ikaho, Gunma
http://www.cs.gunma-u.ac.jp/~fujita/TRS49/trs49.html

* 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/
http://www.ikaho-omori.com/
                58 Ikaho, Shibukawa city, Gunma 371-0102

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

* 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 the following beta-normal form:

   (lambda X. fujitX at cs.gunmX-u.Xc.jp)a

===============================================================================


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