/\ / \ / \ / RTA \ Call for Papers \ 98 / \ / \ / \/ Ninth International Conference on March 30 -- April 1, 1998 Rewriting Techniques and Applications Tsukuba, Japan Program Chair: The ninth Conference on Rewriting Techniques and Applications solicits papers in any of the following Tobias Nipkow (attn: RTA98) or related areas: Institut für Informatik TU München term rewriting systems, symbolic and algebraic 80290 München, Germany computation, unification and matching, completion rta98@informatik.tu-muenchen.de techniques, string and graph rewriting, conditional phone: +49 89 2892 2690 and typed rewriting, rewriting-based theorem fax: +49 89 2892 8183 proving, parallel rewriting and deduction, constrained rewriting and deduction, constraint solving, higher-order rewriting, lambda-calculi, Program Committee: functional and logic programming languages. Jürgen Avenhaus (Kaiserslautern) In addition to full research papers, descriptions of Franz Baader (Aachen) working systems and problem sets that provide Roberto Di Cosmo (Paris) realistic, interesting challenges in the field of Maribel Fernández (Paris) rewriting techniques are also welcome. High quality Harald Ganzinger (Saarbrücken) papers on applications of rewriting techniques are Michael Hanus (Aachen) particularly encouraged. Deepak Kapur (Albany) Aart Middeldorp (Tsukuba) Paper Submission Guidelines: Tobias Nipkow (Munchen) Submissions must be unpublished, not submitted for Vincent van Oostrom (Amsterdam) publication elsewhere and should fall into one of the Michio Oyamaguchi (Tsu) three categories: regular research papers (at most 15 Ralf Treinen (Paris) pages), system descriptions (4 pages) or problem sets. All submissions must be sent electronically in Postscript form to the program chair (if not possible, Local Arrangements Chairs: six hard copies may be sent) and should include the submission category, the author's name, address, and Aart Middeldorp and Tetsuo Ida phone number, as well as electronic address and fax University of Tsukuba number, if available. Papers that are late, too long or Tsukuba 305, Japan require major revision will be rejected. Using Springer rta98@score.is.tsukuba.ac.jp LNCS style files is strongly recommended (available at http://www.springer.de/author/tex/help-book.html). Proofs of theorems should be provided in the paper, or, Invited Speakers: if space does not permit, should be made accessible otherwise (e.g. as an appendix). Submissions must reach Hubert Comon the program chair no later than September 28, 1997. The Jan Willem Klop proceedings will be published in the Springer LNCS Gordon Plotkin series. Best Student Paper Award: RTA Organizing Committee: A prize of $500 will be given to the best paper, as judged by the program committee, written solely by one Hubert Comon (Cachan) or more students. A submission is eligible if all Harald Ganzinger (Saarbrücken) authors are full-time students at the time of Jieh Hsiang (Taipei) submission. This should be indicated in the submission Klaus Madlener (Kaiserslautern) letter. The program committee may decline to make the Paliath Narendran (Albany) award or may split it among several papers. Yoshihito Toyama (Tatsunokuchi) Additional information will be made available at the RTA websites: Important Dates: http://www4.informatik.tu-muenchen.de/~rta98/ Submission: September 28, 1997 http://www.score.is.tsukuba.ac.jp/rta98/ Notification: December 1, 1997 Final Version: January 12, 1998