EWRITING TECHNIQUES AND APPLICATIONS (RTA'99)
July 2-4, 1999, Trento, Italy
Call for papers
http://rta99.loria.fr/
* Topics.  Term rewriting systems, Symbolic and algebraic computation,
  String and graph rewriting, Equational programming languages,
  Conditional and typed rewriting, Rewriting-based theorem proving,
  Lambda calculi, Completion techniques, Higher-order rewriting,
  Unification and matching algorithms, 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 and problem sets that
  provide realistic, interesting challenges in the field of rewriting 
  techniques are also welcome. 
* 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 deadline
  for submission is December 1, 1998.
* Program Co-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.
* Program Committee.  Andrea Asperti Remi Gilleron, Bernhard Gramlich,
  Jieh Hsiang, Richard Kennaway, Delia Kesner, Klaus Madlener, William
  McCune, Paliath Narendran, Michael Rusinowitch, Klaus U. Schulz,
  Geraud Senizergues, G. Sivakumar, Andrei Voronkov.