RTA-97


                         Final Call for Papers


Eighth International Conference on                                 June 2--4, 1997
Rewriting Techniques and Applications                      Sitges,Barcelona, Spain


This information is also available under http://www.lri.fr/~rta97/rta97.html


The eighth Conference on Rewriting Techniques and Applications solicits 
original papers 
in any of the following or related areas:


   Term rewriting systems                   Symbolic and algebraic computation
   Constrained rewriting and deduction      Equational programming languages
   String and graph rewriting               Completion techniques
   Rewrite-based theorem proving            Unification and matching algorithms
   Conditional and typed rewriting          Constraint solving
   Higher-order rewriting                   Lambda calculi 
   Parallel/distributed rewriting and deduction

   
In addition to full research papers, descriptions of new working
systems (4 proceedings pages) and problem sets that provide realistic,
interesting challenges in the field of rewriting techniques are also
welcome.  High quality papers on new applications of rewriting
techniques are particularly encouraged.  Submissions must reach the
program chair, at the address below, no later than

                       November 6, 1996 


Notification of acceptance or rejection will be made by January 13, 1997.  
Camera-ready copy (following special guidelines for Springer Lecture Notes) 
will be due by March 7, 1997.


RTA-97 Program Chair:
---------------------
    Hubert Comon, RTA-97                      telephone:  +33 01 69 15 66 35 
    LRI and CNRS,
    B\^at. 490,  Universit\'e Paris-Sud             fax: +33 01 69 15 65 86
    91405 Orsay cedex, France                     email:   rta97@lri.fr     


RTA-97 Program Committee:
-------------------------
F. Baader (Aachen)            H. Comon (Orsay)         M. Fernandez (Paris)
H. Ganzinger (Saarbr\"ucken)  M. Jantzen (Hamburg)     H. Kirchner (Nancy)  
A. Middeldorp (Tsukuba)       P. Narendran (Albany)    R. Nieuwenhuis (Barcelona) 
T. Nipkow (M\"unchen)         V. Tannen (Philadelphia) S. Tison (Lille)


RTA Organizing Committee:
-------------------------
Harald Ganzinger (Saarbr\"ucken)               Jieh Hsiang (Taipei) 
Claude Kirchner (Nancy, chair)                 Klaus Madlener (Kaiserslautern) 
Paliath Narendran (Albany)                     Mitsuhiro Okada (Tokyo)
\end{tabular}

Local Arrangements Chair:
-------------------------
     Robert Nieuwenhuis,                  Universitat Polit\`ecnica de Catalunya 
     Pau Gargallo 5, 
     E-08028 Barcelona, Spain              email: roberto@lsi.upc.es


Paper Submission Guidelines:
----------------------------
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).  The title page 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 to the submission).


Invited Speakers:
-----------------

The scientific program will include two invited conferences by Y. Lafont and
W. McCune.