[logic-ml] 39th TRS Meeting - Call for Participation

[Nao Hirokawa]

皆様

9月18日〜20日に行われます書換えに関する研究集会「第39回TRSミーティング」の
参加者募集の案内をお送り致します。

   http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/

今回の会場は秋田市さとみ温泉でして、すでに名古屋大学から大山口教授、
また海外からはインスブルック大学の Middeldorp 教授、Zankl 研究員の
参加が決まっております。

皆様、ぜひ参加をご検討下さい！

廣川 (JAIST)

----------------------------------------------------------------------
                         39th TRS Meeting

                              Akita
        http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/

About the TRS Meeting

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 Rewriting
Researchers Forum for further information:
http://www.jaist.ac.jp/~hirokawa/trs-meeting/)

Information

Date:  September 18 (Wed) -- 20 (Fri), 2013
Venue: Akita Onsen Satomi,
        http://www.satomi-e.com
        Keidaikawara Soegawa, Akita, 010-0822

Program

   September 18 (Wed)
     14:00-18:00 meeting
   September 19 (Thu)
     9:00-18:00: meeting
   September 20 (Fri)
     9:00-12:00: meeting

Fee

   ~ 26,000 yen (including lodging, breakfast, and dinner for 2 nights)

Registration

     Please indicate whether you would like to join by sending the
     registration form below to Christian Sternagel
     (c-sterna at jaist.ac.jp) no later than August 15, 2013.


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

name:
affiliation:

title of talk*:
approximate duration of talk (in minutes)*:
preference on your room: [A single room is preferred / A shared room is 
acceptable](choose one)

(In case of partial participation, please contact me)
----------------------------------------------------------------------
The items marked with * can be sent later.

Contact
Christian Sternagel (c-sterna at jaist.ac.jp)