[logic-ml] CFP: 59th TRS Meeting

[Munehiro Iwami]

皆様

島根大学の岩見と申します。

9月27～29日に第59回TRS meetingを出雲市で開催します。

現在、講演者を募集しております。講演希望の方は7月28日
までに下記の登録フォームをメールにて岩見へ送ってください。

--------------------------------------------------------------------
Dear all,

Please find below CFP for the 59th TRS meeting.

Please send the registration form below to Munehiro Iwami
(munehiro at cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023.

Best regards,

Munehiro Iwami
Shimane University
E-mail: munehiro at cis.shimane-u.ac.jp


======================================================================
                       CALL FOR PARTICIPATION
                          59th TRS Meeting
             September 27 – 29, 2023, Shimane, Japan
         http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting59/
======================================================================

The Term Rewriting Meeting (TRS Meeting) is a biannual informal
workshop that aims at promoting the research on rewriting and related
areas. All participants are requested to present their recent
activities, observations, etc. (in English). The subject of the talk,
however, is not required to be one's original result; for example, it
is perfectly acceptable to explain a paper of your interest or a tool
that you're developing.
See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information.

* Basic information

Dates:  September 27(Wed) – 29(Fri), 2023
Venue:  New Welcity IZUMO
         2-15-1 Enyaarihara, Izumo, Shimane, Japan
         https://nwci.jp/
Registration Fee:  15,000 yen
Accommodation Fee: 13,500 yen per night (incl. breakfast, dinner, drinks 
at dinner and tax)

The accommodation fee above is for using a single room.

* Registration

Please send the registration form below to Munehiro Iwami
(munehiro at cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023.

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

Name:
Affiliation:
Title of talk (*):
Duration of talk (*):
Other requests/comments (on foods, partial participation, etc.):
----------------------------------------------------------------------
The items marked with * can be sent later.

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

-- 
以上、よろしくお願い致します。

岩見 宗弘
島根大学 学術研究院 理工学系
E-mail: munehiro at cis.shimane-u.ac.jp