CALL FOR PAPERS:

                                  RTA 98

                    The 9th International Conference on

                   REWRITING TECHNIQUES AND APPLICATIONS

                  March 30 - April 1, 1998, Tsukuba, Japan

* TOPICS: term rewriting systems, symbolic and algebraic computation,
  unification and matching, completion techniques, string and graph rewriting,
  conditional and typed rewriting, rewriting-based theorem proving,
  parallel rewriting and deduction, constrained rewriting and deduction,
  constraint solving, higher-order rewriting, lambda-calculi,
  functional and logic programming languages.
* SUBMISSIONS: Research papers (up to 15 pages), system descriptions (4
  pages) or problem sets must be submitted in postscript form to
  rta98@informatik.tu-muenchen.de. Alternatively, 6 hardcopies may be sent
  to: Prof. T. Nipkow, Institut fuer Informatik, TU Muenchen, 80290 Muenchen,
  Germany.
* DATES: Submission deadline: September 28, 1997
         Notification of acceptance or rejection: December 1, 1997
         Final papers due: January 12, 1998
* BEST STUDENT PAPER AWARD: A prize of $500 will be given to the best paper,
  as judged by the program committee, written solely by one or more students.
* PROGRAM COMMITTEE: J. Avenhaus, F. Baader, R. Di Cosmo, M. Fernandez,
  H. Ganzinger, M. Hanus, D. Kapur, A. Middeldorp, T. Nipkow (Chair),
  V. van Oostrom, M. Oyamaguchi, R. Treinen.
* LOCAL ARRANGEMENTS: Aart Middeldorp and Tetsuo Ida, University of Tsukuba,
  Tsukuba, Japan.
* INVITED SPEAKERS: Hubert Comon, Jan Willem Klop, Gordon Plotkin.

For details see http://www4.informatik.tu-muenchen.de/~rta98/