Papers & awards

Submissions (closed)

Submissions must be original and not submitted for publication elsewhere. Submissions should fall into one of the following categories:

  1. Regular research papers describing new results; they will be judged on correctness and significance.
  2. Papers describing the experience of applying rewriting techniques in other areas; they will be judged on relevance and comparison with other approaches.
  3. Problem sets that provide realistic and interesting challenges in the field of rewriting.
  4. System descriptions; they should contain a link to a working system and will be judged on usefulness and design.

All submissions will be judged on originality.
Submissions in the first three categories can be up to 15 proceedings pages long, system descriptions 4 proceedings pages.
Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file.
The latter can be obtained from http://www.springer.de/comp/lncs/authors.html.
The title page should include the submission category number.
Submission is by email: Send a self-contained postscript file to rta2001 @ score.is.tsukuba.ac.jp.
Papers that are late, too long or require substantial revision will not be considered.
Proofs of theorems should be provided in the paper, or, if space does not permit, should be made accessible otherwise (e.g. as an appendix).
If email submission is not possible, four hard copies may be sent to the program chair.
Submissions must reach the program chair no later than December 18, 2000.
In addition, an ASCII version of the paper's cover page (title, authors, abstract, contact information) must reach the program chair by December 11, 2000.

Publication

Final versions of accepted papers must be received by March 2, 2001. The proceedings of RTA 2001 will be published by Springer-Verlag in the LNCS series.
One author of each accepted paper will be expected to present it at the conference.

The following papers have been accepted by the RTA Committee: