[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