- March 14, 2016: added an information on 45th TRS Meeting
About TRS Meeting
The Term Rewriting Meeting, traditionally called ``TRS Meeting'', is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are encouraged to present their recent activities, observations, and results at the meeting, however, it is perfectly acceptable to explain a paper written by someone else.
Usually information on an upcoming meeting is announced on the Rewriting Mailing List (see below).
Next TRS Meeting: 4th Austria-Japan Summer Workshop on Term RewritingThe 45th TRS Meeting will be organized as the 4th Austria-Japan Summer Workshop on Term Rewriting.
- date and time:
Sep 4 (Sun) -10 (Sat), 2016
- University Center in Obergurgl
- Christian Sternagel (University of Innsbruck)
Nao Hirokawa (JAIST)
Rewriting Mailing List
The Rewriting Mailing List (Rewriting ML) provides a forum for the rewriting community. Researchers and students interested in rewriting and related topics are invited to join the list. The mailing list is intended for serving as information sender and intermediary for announcement and discussion. In order to post your ideas or announce the notice through the list (without language communication problem), messages are welcome to be posted in English. Please see the information below for the usage of this mailing service. Currently the mailing list is maintained by Masahiko Sakai.
To join or leave the list, send your subscription request (that includes your name, email address and affiliation) to:
To post a message to all the list members, send email to:
- Nao Hirokawa (JAIST)