RTA98

9th International Conference on

Rewriting Techniques and Applications

RTA98 will be held from 30th March to 1st April 1998 in Tsukuba, Japan. The conference will be hosted by the Institute of Information Sciences and Electronics at the University of Tsukuba.

Conference Topics
Dates
Best Student Paper Award
Guidelines for Paper Submission
Program Chair
Program Committee
Local Arrangements Chairs
Invited Speakers
RTA98 Local Organizing Committee
Call for Papers

Conference Topics

The 9th International Conference on Rewriting Techniques and Applications solicits papers in any of the following or related areas: 
  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
In addition to full research papers, descriptions of working systems and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. High quality papers on applications of rewriting techniques are particularly encouraged.


Dates

Submissions to reach the program chairman:
September 28, 1997
Notification of acceptance or rejection:
December 1, 1997
Final papers due:
January 12, 1998
Conference:
March 30 - April 1, 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. A submission is eligible if all authors are full-time students at the time of submission. This should be indicated in the submission letter. The program committee may decline to make the award or may split it among several papers.

The award will be presented to Johannes Waldmann of the University of Jena, Germany for his paper Normalization of S-Terms is Decidable.


Guidelines for Paper Submission

Submissions must be unpublished, not submitted for publication elsewhere and should fall into one of the three categories: regular research papers (at most 15 pages), system descriptions (4 pages) or problem sets. All submissions must be sent electronically in Postscript form to the program chair (if not possible, six hard copies may be sent) and should include the submission category, the author's name, address, and phone number, as well as electronic address and fax number, if available. Papers that are late, too long or require major revision will be rejected. Using Springer LNCS style files is strongly recommended. 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). Submissions must reach the program chair no later than September 28, 1997. The proceedings will be published in the Springer LNCS series.


Program Chair

  Tobias Nipkow (attn: RTA98)      
  Institut für Informatik		phone: +49 89 2892 2690
  TU München				fax:   +49 89 2892 8183
  80290 München, Germany		email: rta98@informatik.tu-muenchen.de

Program Committee

  Jürgen Avenhaus (Kaiserslautern)      Franz Baader (Aachen)
  Roberto Di Cosmo (Paris) 		Maribel Fernández (Paris)
  Harald Ganzinger (Saarbrücken)        Michael Hanus (Aachen)
  Deepak Kapur (Albany)                 Aart Middeldorp (Tsukuba)
  Tobias Nipkow (München)               Vincent van Oostrom (Amsterdam)
  Michio Oyamaguchi (Tsu)               Ralf Treinen (Paris)

Local Arrangements Chairs

  Aart Middeldorp and Tetsuo Ida
  University of Tsukuba
  Tsukuba 305, Japan
  rta98@score.is.tsukuba.ac.jp

Invited Speakers

  Hubert Comon     Jan Willem Klop     Gordon Plotkin

RTA98 Local Organizing Committee

  Tetsuo Ida (Tsukuba)			Masahito Kurihara (Sapporo)
  Aart Middeldorp (Tsukuba)		Mizuhito Ogawa (Atsugi) 
  Mitsuhiro Okada (Tokyo)		Michio Oyamaguchi (Tsu)
  Yoshihito Toyama (Tatsunokuchi)	Fer-Jan de Vries (Tsukuba)

Call for Papers

Available in dvi, ps and latex format.