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

[Nao Hirokawa]

皆様

第52回TRSミーティング参加募集のリマインダーです。参加登録は
1月7日（火）までです。参加をご検討頂けると幸いです。

廣川 (JAIST)

On 2019/12/03 17:03, Nao Hirokawa wrote:
> 皆様
> 
> 来年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.
> 
> _______________________________________________
> Logic-ml mailing list
> Logic-ml at fos.kuis.kyoto-u.ac.jp
> http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml