[logic-ml] 42nd TRS Meeting - Final CFPart
Naohi Eguchi
neguchi at g.math.s.chiba-u.ac.jp
Mon Dec 22 14:22:16 JST 2014
(Apologies for cross-posting)
Final Call for Participation
42nd TRS Meeting
February 7 - 9, 2015, Tokyo, Japan
http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/
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: February 7th (Sat) – 9th (Mon), 2015
Venue: Harumi Grand Hotel
8-1, Harumi 3-chome, Chuo-ku, Tokyo 104-0053 Japan
Lodging fees: 31812 yen (2 nights, non-smoking 2 persons' shared room)
(breakfasts, banquet (Sat), lunch (Sun), dinner (Sun) included)
Tentative Schedule:
Meeting: Feb 7 (Sat) 14:00 - Feb 9 (Mon) 12:00
Banquet: Feb 7 (Sat)
Registration:
Deadline: January 5 (Mon), 2015
Please fill in the following registration form and send it to Naohi
Eguchi (neguchi [at] g.math.s.chiba-u.ac.jp) by e-mail. (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):
hotel reservation: (A)/(B)
(A) Please accommodate me at Harumi Grand Hotel.
February 7 (Sat): yes/no
February 8 (Sun): yes/no
additional request:
(In case of partial accommodation)
lunch (Sun): yes/no
(B) I will attend without accommodation.
February 7 (Sat): yes/no
February 8 (Sun): yes/no
February 9 (Mon): yes/no
banquet (Sat): yes/no
lunch (Sun): yes/no
--------------------------------------------------------------------
In case of participation without accommodation:
Registration fees: 2376 yen /day (for the use of meeting room)
Banquet (Sat): 6000 yen
Lunch (Sun): 1296 yen
Further information can be found at the website of the meeting.
42nd TRS Meeting - Registration
http://www.math.s.chiba-u.ac.jp/~neguchi/42trsmeeting/#registration
More information about the Logic-ml
mailing list