++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS RTA 2002 13th International Conference on Rewriting Techniques and Applications July 22--24, Copenhagen, Denmark as part of FLoC'02 (http://floc02.diku.dk) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ TOPICS: RTA is the major forum for the presentation of research on all aspects of rewriting. The 13th International Conference on Rewriting Techniques and Applications solicits original papers on theoretical and practical topics related to rewriting in a broad sense. Suggested, but not exclusive, topics include: * Applications: case studies; rule-based programming; symbolic and algebraic computation; theorem proving; functional and logic programming; proof checking. * Foundations: matching and unification; completion techniques; strategies; constraint solving; explicit substitutions; tree automata. * Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; conditional rewriting; constrained rewriting and deduction; proof nets; categorical and infinitary rewriting. * Implementation: compilation techniques; parallel execution; rewriting tools. * Semantics: equational logic; rewriting logic. INVITED SPEAKERS Franz Baader (RWTH Aachen, Germany ) John Mitchell (Stanford, USA) Natarajan Shankar (SRI, USA) (joint FME-LICS-RTA) SUBMISSIONS: Submissions must be original and not submitted for publication elsewhere. Submissions should fall into one of the following categories: 1. Regular research papers describing new results; they will be judged on correctness and significance. 2. Papers describing the experience of applying rewriting techniques in other areas; they will be judged on relevance and comparison with other approaches. 3. Problem sets that provide realistic and interesting challenges in the field of rewriting. 4. System descriptions; they should contain a link to a working system and will be judged on usefulness and design. Submissions in the first three categories can be up to 15 proceedings pages long, system descriptions 4 proceedings pages. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html. The title page should include the submission category. Submission is by email: Send a self-contained postscript file and an ASCII version of the paper's cover page (title, authors, submission category, abstract, contact information) to rta2002@lifl.fr CONFERENCE CHAIR: Thomas Arts Ericsson Computer Science Laboratory Box 1505 125 25 Alvsjo SWEDEN <thomas@cslab.ericsson.se> PROGRAM CHAIR: Sophie Tison LIFL Université de Lille I Cité Scientifique -- Bat.M3 59655 Villeneuve d'Ascq Cedex France <rta2002@lifl.fr> PROGRAM COMMITTEE: Andrea Corradini (Pisa) Daniel J. Dougherty (Wesleyan University) Jürgen Giesl (Aachen) Bernhard Gramlich (Wien) Thérèse Hardin (Paris) Christopher Lynch (Postdam) Jerzy Marcinkowski (Wroclaw) Aart Middeldorp (Tsukuba) Joachim Niehren (Saarbrucken) Femke van Raamsdonk (Amsterdam) Albert Rubio (Barcelona) Sophie Tison (Lille) Ralf Treinen (Paris-Sud) BEST PAPER AWARD: A prize of 500 EUR will be given to the best paper as judged by the program committee. The program committee may decline to make the award or may split it among several papers. IMPORTANT DATES: Submission: January 15, 2002 Notification: March 22, 2002 Final Version: April 25, 2002 RTA 2002 WEB SITE: http://www.ericsson.com/cslab/rta2002/ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ PostScript version: http://www.ens-lyon.fr/~plescann/CONTRIBUTIONS/RTA_2002.ps