Call for paper RTA-2002

[Pierre Lescanne]

[Apologies for multiple copies]


=09+----------------------------------------------------+
=09|  REWRITING TECHNIQUES AND APPLICATIONS (RTA 2002)  |
        |                                                    |
=09|=09    July 22, 2002 to July 24, 2002           |
=09|=09=09in Copenhagen, Denmark               |
=09| as part of the Federated Logic Conference FLoC'02  |
=09+----------------------------------------------------+


* RTA 2002 solicits original papers on all aspects of rewriting,
  including applications, foundations, frameworks, implementations,
  semantics. There are four submission categories:=20

=091. regular research papers describing new results,=20

=092. papers describing the experience of applying rewriting=20
           techniques in other areas,=20

=093. problem sets that provide realistic and interesting=20
           challenges in the field of rewriting,
=094. system descriptions.=20

* 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=20
  Notification to authors: March 22, 2002=20
  Final (camera-ready) copy due: April 25, 2002.=20

* PROGRAM COMMITTEE:=20

     Andrea Corradini (University of Pisa)=20
     Daniel J. Dougherty (Wesleyan University)=20
     J=FCrgen Giesl (RWTH Aachen)=20
     Bernhard Gramlich (TU Wien)=20
     Th=E9r=E8se Hardin (University of Paris VI)=20
     Christopher Lynch (Clarkson University, Postdam)=20
     Jerzy Marcinkowski (University of Wroclaw)=20
     Aart Middeldorp (University of Tsukuba )=20
     Joachim Niehren (University of Saarland)=20
     Femke van Raamsdonk (Free University Amsterdam)=20
     Albert Rubio (University of Barcelona )=20
     Sophie Tison (University of Lille, chair)
     Ralf Treinen (University Paris-Sud)=20


Click http://www.lifl.fr/~tison/RTA02.html for further information.


A Postscript version of the call for paper is available at=20
http://www.ens-lyon.fr/~plescann/CONTRIBUTIONS/CFP_RTA-2002.ps