CALL FOR PAPERS

                                  RTA 2000

                    Eleventh International Conference on 
                   Rewriting Techniques and Applications
                              July 10-12, 2000
                  University of East Anglia, Norwich, U.K.

                      http://www.sys.uea.ac.uk/RTA2000/



RTA solicits papers on theoretical and practical topics related to
rewriting in a broad sense. Suggested, but not exclusive, topics include:

   Term, string, and graph rewrite systems  Conditional and typed systems
   Equational reasoning and programming     Rewrite-based theorem proving 
   Lambda calculi                           Higher-order rewriting            
   Unification and matching                 Explicit substitution
   Constrained rewriting and deduction      Constraint solving
   Parallel rewriting and deduction         Rewriting logic
   Completion techniques                    Symbolic and algebraic computation

In addition to full research papers, descriptions of new working
systems and problem sets that provide realistic, interesting challenges
in the field of rewriting techniques are also welcome.

Paper submission is electronic. The deadline for submissions is

			January 31, 2000.

Submissions must be unpublished and not submitted for publication
elsewhere. Authors should include the submission category
(research papers of up to 15 pages, system descriptions of up to 
4 pages, or problem sets) as well as an abstract of 100-200 words
of ASCII text. For details, see

       http://www.cs.sunysb.edu/~rta2000/submission.html

Papers that are late, too long, or require major revision will not
be considered. Notifications of acceptance or rejection will be 
sent by March 1, 2000.


Program Chair:

        Leo Bachmair
        Department of Computer Science
        SUNY at Stony Brook
        Stony Brook, New York 11794, U.S.A.
        rta2000@cs.sunysb.edu

Program Committee:

        Franz Baader (Aachen)
        Leo Bachmair (Stony Brook)
        Gilles Dowek (Rocquencourt)
        Neil Ghani (Leicester)
        Juergen Giesl (Albuquerque)
        Jean-Pierre Jouannaud (Orsay)
        Chris Lynch (Potsdam, New York)
        Aart Middeldorp (Tsukuba)
        Mitsuhiro Okada (Tokyo)
        Femke van Raamsdonk (Amsterdam)
        Albert Rubio (Barcelona)
        Yoshihito Toyama (Tatsunokuchi)
        Rakesh Verma (Houston)

Local Organizing Chair:

        Richard Kennaway
        School of Information Systems
        University of East Anglia
        Norwich NR4 7TJ, U.K.
        rta2000@sys.uea.ac.uk

Publicity Chair:

        Jose Meseguer
        SRI International
        Menlo Park, California 94025, USA
        meseguer@csl.sri.com

RTA Organizing Committee:

        Hubert Comon (Cachan)              Tobias Nipkow (Munich) 
        Nachum Dershowitz, chair (Urbana)  Michael Rusinowitch (Nancy) 
        Jose Meseguer (Menlo Park)         Yoshihito Toyama (Tatsunokuchi)

Related Meetings:

        The IFIP Working Group on Term Rewriting will hold its second annual
        meeting at the RTA venue during the conference week.

        WESTAPP 2000, the Workshop on Explicit Substitutions, will be held
        at the RTA venue on July 13, 2000.

        TABLEAUX 2000 (Automated Reasoning with Analytic Tableaux and
        Related Methods) and FTP'00 (International Workshop on First-Order
        Theorem Proving) will be held during the preceding week at St. Andrews
        University, St. Andrews, Scotland.

For general information about RTA see http://rewriting.loria.fr/rta/