Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://rta99.loria.fr/
Organizers: Paliath Narendran, Michael Rusinowitch, Andrea Asperti
Deadline for abstracts: December 01, 1998
Description:
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.
Date received: October 13, 1998
© 2008 Atlas Conferences Inc.