CALL FOR PAPERS:

                                  RTA 99

                    Tenth International Conference on 

                   REWRITING TECHNIQUES AND APPLICATIONS
                        (http://rta99.loria.fr/)



The Tenth International Conference on Rewriting Techniques and
Applications will take place from July 2, 1999 to July 4, 1999 in
Trento, Italy, as part of the Federated Logic Conference
FLoC'99 (http://www.cs.bell-labs.com/cm/cs/what/floc99).

Conference Topics

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

   Term rewriting systems                  Symbolic and algebraic computation
   String and graph rewriting              Equational programming 
   Conditional and typed rewriting         Rewriting-based theorem proving 
   Lambda calculi                          Completion techniques
   Higher-order rewriting                  Unification and matching 
   Constrained rewriting and deduction     Constraint solving
   Parallel rewriting and deduction        Functional and logic programming             

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.
The conference proceedings will be published by Springer-Verlag
as part of their Lecture Notes in Computer Science series.

Dates:

       Submissions to reach the program chairmen: December 1, 1998 
       Notification of acceptance or rejection: February 6, 1999
       Final (camera-ready) copy due: March 6, 1999

RTA-99 Program Committee

       Andrea Asperti (Bologna)
       Rémi Gilleron (Lille)
       Bernhard Gramlich (Vienna)
       Jieh Hsiang (Taiwan)
       Richard Kennaway (Norwich)
       Delia Kesner (Paris)
       Klaus Madlener (Kaiserslautern)
       William McCune (Argonne)
       Paliath Narendran (Albany)
       Michael Rusinowitch (Nancy)
       Klaus U. Schulz (Munich)
       Geraud Senizergues (Bordeaux)
       G. Sivakumar (Bombay)
       Andrei Voronkov (Uppsala)

RTA-99 Program Chairs:

       Paliath Narendran
       SUNY at Albany, Department of Computer Science, 
       Albany, NY 12222, USA,
       dran@cs.albany.edu.

       and 

       Michael Rusinowitch
       LORIA and INRIA Lorraine, 615, rue du Jardin Botanique, BP 101,
       54602 Villers les Nancy cedex, France, 
       rusi@loria.fr.

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 one of the program chairs
(if this is not possible, six hard copies may be sent). The title
page should include the submission category, 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 or
via the Web).

RTA Organizing Committee

       Hubert Comon (Cachan)              Paliath Narendran (Albany) 
       Nachum Dershowitz, chair (Urbana)  Tobias Nipkow (Munich) 
       Harald Ganzinger (Saarbrucken)     Yoshihito Toyama (Tatsunokuchi)

RTA-99 Local Arrangements Chair:

       Andrea Asperti
       Department of Mathematics, University of Bologna 
       Piazza di Porta San Donato 5, 40127 Bologna, Italy 
       asperti@cs.unibo.it 

Previous RTA meetings

Previous RTA meetings were held in Dijon (1985), Bordeaux (1987),
Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern
(1995), Rutgers (1996), Sitges (1997), Tsukuba (1998); their
proceedings were published by Springer-Verlag as part of their
Lecture Notes in Computer Science series.