[logic-ml] CFP: 55th TRS Meeting, September 28 - 30, 2021, Online

[Munehiro Iwami]

皆様

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

9/28--9/30に第55回TRS Meetingをオンラインで開催します。
講演申し込み締切は8/6です。よろしくお願いします。

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

Please find the CFP for the next TRS Meeting below:

Best regards,

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

=========================================================================================
                      Call For Participation

                        55th TRS Meeting
                  September 28 – September 30, 2021
                           Online

         http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting55/

* 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. The subject of the talk
may not be one's original result; for example, explaining an interesting
paper is perfectly OK. (See Rewriting Researchers Forum for further
information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/).

* Basic Information

Date:    September 28 (Tue) – September 30 (Thu), 2021
Venue:   Online
Fee:     Free

* Tentative Schedule

Opening: 13:30, September 28
Closing: 12:00, September 30

* Registration

Please send the registration form below to Munehiro Iwami
(munehiro at cis.shimane-u.ac.jp ) no later than August 6.

* Contact

Munehiro Iwami (http://www.cis.shimane-u.ac.jp/~munehiro/)

--------------------------------------------------------------------------------------------
              Registration Form of the 55th TRS Meeting

name:
affiliation:

* title of talk:
* approximate duration of talk (15 - 60 minutes):

(In case of partial participation, please contact us)
--------------------------------------------------------------------------------------------

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