Call for paper RTA-2002

Pierre Lescanne
Thu, 6 Sep 2001 19:01:35 +0200 (CEST)

[Apologies for multiple copies]

        |                                                    |
=09|=09    July 22, 2002 to July 24, 2002           |
=09|=09=09in Copenhagen, Denmark               |
=09| 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:=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.

  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


     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 for further information.

A Postscript version of the call for paper is available at=20