RTA 2002 Call for papers

[Pierre Lescanne]

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++=
+

                          CALL FOR PAPERS

                             RTA 2002

 13th International Conference on Rewriting Techniques and Applications=


                    July 22--24, Copenhagen, Denmark
                  =20
                as part of FLoC'02 (http://floc02.diku.dk)
                                            =20
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++=
+

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.=20
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.

=20
INVITED SPEAKERS

      Franz Baader (RWTH Aachen, Germany )
      John Mitchell (Stanford, USA)=20
      Natarajan Shankar (SRI, USA) (joint FME-LICS-RTA)=20


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 p=
ages=20
long, system descriptions 4 proceedings pages. Authors are strongly enc=
ouraged=20
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 cov=
er
 page (title, authors, submission category, abstract, contact informati=
on) to

                   =09 rta2002@lifl.fr =20

=20
=20

CONFERENCE CHAIR:

Thomas Arts
Ericsson=20
Computer Science Laboratory  =20
Box 1505
125 25 Alvsjo=20
SWEDEN=20
<thomas@cslab.ericsson.se>

PROGRAM CHAIR:

Sophie Tison=20
LIFL  =20
Universit=E9 de Lille I  =20
Cit=E9 Scientifique -- Bat.M3 =20
59655 Villeneuve d'Ascq Cedex =20
France=20
<rta2002@lifl.fr>


PROGRAM COMMITTEE:

Andrea Corradini (Pisa)=09=09=09Daniel J. Dougherty (Wesleyan Universit=
y)
J=FCrgen Giesl (Aachen) =09=09=09Bernhard Gramlich (Wien)=20
Th=E9r=E8se Hardin (Paris)=09=09=09Christopher Lynch (Postdam) =09=09
Jerzy  Marcinkowski (Wroclaw) =09=09Aart  Middeldorp (Tsukuba) =09=09=09=

Joachim Niehren (Saarbrucken)  =09=09Femke van Raamsdonk (Amsterdam) =20=

Albert  Rubio (Barcelona) =09=09Sophie Tison (Lille)=20
Ralf Treinen   (Paris-Sud) =20
=20
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:

                 =09http://www.ericsson.com/cslab/rta2002/
   =20
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++=
+

PostScript version: http://www.ens-lyon.fr/~plescann/CONTRIBUTIONS/RTA_=
2002.ps