[logic-ml] CFP: 43rd TRS Meeting

Yoshihito Toyama toyama at nue.riec.tohoku.ac.jp
Tue Jul 21 18:57:54 JST 2015


                  Call for Participation

                       43rd TRS Meeting
               September 8 - 10, 2015, Morioka, Japan
           http://www.nue.riec.tohoku.ac.jp/trs-meeting15/

The Term Rewriting Meeting (TRS Meeting) is a biannual informal
workshop that aims at promoting the research on term rewriting and
related areas. Every participant is highly encouraged to present
recent works possibly in progress. It is perfectly acceptable to
explain a paper written by someone else.

Date: September 8th (Tue) - 10th (Thu), 2015

Venue: Yumori Hotel Taikan 
       http://www.japanican.com/en/hotel/detail/2327001/?aff=rsv
       http://www.hotel-taikan.com/

Fee: 10,086 yen / day (inc. breakfast, dinner and tax)

Tentative Schedule: Opening 13:30, September 8 / Closing 12:00, September 10

Registration:
Please fill in the following registration form and send it to our secretary
Sagae-san (sagae [at] nue.riec.tohoku.ac.jp) by e-mail no later than August 19 (Wed).
Items marked with * can be sent later.
--------------------------------------------------------------------
             Registration Form of the 42nd TRS Meeting

name:
affiliation:

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

Further information can be found at the website of the meeting.

Best regards,

Takahito Aoto and Yoshihito Toyama

 Research Institute of Electrical Communication 
 Tohoku University  




More information about the Logic-ml mailing list