[Apologies for multiple copies] +----------------------------------------------------+ | REWRITING TECHNIQUES AND APPLICATIONS (RTA 2002) | | | | July 22, 2002 to July 24, 2002 | | in Copenhagen, Denmark | | as part of the Federated Logic Conference FLoC'02 | +----------------------------------------------------+ * RTA 2002 solicits original papers on all aspects of rewriting, including applications, foundations, frameworks, implementations, semantics. There are four submission categories: 1. regular research papers describing new results, 2. papers describing the experience of applying rewriting techniques in other areas, 3. problem sets that provide realistic and interesting challenges in the field of rewriting, 4. system descriptions. * BEST PAPER AWARD: A prize of 500 EUR will be given to the best paper as judged by the program committee. * IMPORTANT DATES: Submissions to reach the program chairperson: January 15, 2002 Notification to authors: March 22, 2002 Final (camera-ready) copy due: April 25, 2002. * PROGRAM COMMITTEE: Andrea Corradini (University of Pisa) Daniel J. Dougherty (Wesleyan University) Jürgen Giesl (RWTH Aachen) Bernhard Gramlich (TU Wien) Thérèse Hardin (University of Paris VI) Christopher Lynch (Clarkson University, Postdam) Jerzy Marcinkowski (University of Wroclaw) Aart Middeldorp (University of Tsukuba ) Joachim Niehren (University of Saarland) Femke van Raamsdonk (Free University Amsterdam) Albert Rubio (University of Barcelona ) Sophie Tison (University of Lille, chair) Ralf Treinen (University Paris-Sud) Click http://www.lifl.fr/~tison/RTA02.html for further information. A Postscript version of the call for paper is available at http://www.ens-lyon.fr/~plescann/CONTRIBUTIONS/CFP_RTA-2002.ps