[logic-ml] 第52回TRSミーティング 参加者募集のご案内

[Nao Hirokawa]

皆様

来年2月20日〜22日に石川県加賀市で行われます「第52回TRSミーティング」
の参加者募集案内をお送り致します。

本ミーティングは口頭発表からなるインフォーマルな国内集会でして、
項書換え分野の発表だけでなくその隣接分野、応用分野の発表も大歓迎
です。参加をご検討頂けると幸いです。

廣川 直 (JAIST)



======================================================================
                       CALL FOR PARTICIPATION
                          52nd TRS Meeting
                February 20 - 22, 2020, Kaga, Ishikawa
    https://www.jaist.ac.jp/~hirokawa/trs-meeting/original/52.html
======================================================================

The 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 of approximately 15
to 60 minutes in English on their research activities.  The subject
of the talk is not required to be one's original result; for example,
explaining an interesting paper is perfectly OK.
See also: http://www.jaist.ac.jp/~hirokawa/trs-meeting/


* Information

Date:
   February 20 (Thu) - 22 (Sat), 2020

Venue:
   Hotel Arrowle (http://www.arrowle.co.jp/)
   5-1 Shibayama-cho, Kaga, Ishikawa, Japan

Registration fee:
   tba (but most likely around 26,000 JPY)

Accommodation fees:
   - 7,850 JPY per night for a single room
   - 6,200 JPY per night for a twin room shared with two persons


* Registration

Please send the following registration form to Nao Hirokawa
<hirokawa at jaist.ac.jp> by January 7 (Tue), 2020.

----------------------------------------------------------------------
               Registration Form of the 52nd TRS Meeting

Name:
Affiliation:

Title of talk (*):
Duration of talk (*):

Preference on your room: [single / shared]
[Male / Female] (leave one)

Requests/comments (on foods, partial participation, etc.):

----------------------------------------------------------------------
The items marked with * can be sent later.