[logic-ml] CFP: 43rd TRS Meeting

Yoshihito Toyama toyama at nue.riec.tohoku.ac.jp
Tue Aug 18 12:07:58 JST 2015


Dear all,

This is a gentle reminder that the deadline of registration 
of the next TRS meeting is ** TOMORROW **.

Best regards,

Takahito and Yoshihito

---------------------------------------------------------------------

                  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