RTA'03: call for papers

To: types@cis.upenn.edu
Subject: RTA'03: call for papers
From: Femke van Raamsdonk <femke@cs.vu.nl>
Date: Tue, 10 Dec 2002 13:16:23 +0100 (CET)
cc: Femke van Raamsdonk <femke@cs.vu.nl>

The following call for papers might be relevant
for readers of the types mailing list since the
topics theorem proving, proof checking,
lambda-calculus and higher-order rewriting are
explicitly mentioned.


               ******************************
               *                            *
               *  RTA'03   CALL FOR PAPERS  *
               *                            *
               ******************************

              http://www.dsic.upv.es/~rdp03/rta

The
  14th Int. Conf. on Rewriting Techniques and Applications (RTA'03)
will be part of the
   Federated Conf. on Rewriting, Deduction and Programming (RDP'03).


IMPORTANT DATES:
 Jan  15 2003: Deadline electronic submission of title+short abstract
 Jan  22 2003: Deadline electronic submission of papers
 Mar  15 2003: Notification of acceptance of papers
 Apr   7 2003: Deadline for final versions of accepted papers
 Jun 9-11 '03: Conference.


RTA is the major forum for the presentation of research on all
aspects of rewriting.
Typical areas of interest include (but are not limited to):

* APPLICATIONS:
  case studies; (rule-based) programming; symbolic and
  algebraic computation; theorem proving;
  system synthesis and verification; proof checking.
* FOUNDATIONS:
  matching and unification; narrowing; completion techniques;
  strategies; constraint solving; explicit substitutions.
* FRAMEWORKS:
  string, term, and graph rewriting; lambda-calculus and
  higher-order rewriting; proof nets; constrained
  rewriting/deduction; categorical and infinitary rewriting.
* IMPLEMENTATION:
  compilation techniques; parallel execution; rewriting tools.
* SEMANTICS:
  equational logic; rewriting logic.


INVITED TALKS will be given at RTA'03 by:
  * David McAllester     Toyota Technological Institute at Chicago
                         Joint invited speaker with TLCA
  * Jean-Louis Giavitto  Université d'Evry, France
  * Pat Lincoln          SRI International


BEST PAPER AWARDS:
A 1000 Euro award wil be given to the best paper or papers as decided
by the PC. The award may also totally or partially go to the best
paper with a student as main author, according to the submission letter.


RTA'03 PROGRAM COMMITEE:
   * Harald Ganzinger         (Max-Planck-Institut)
   * Claude Kirchner          (Nancy)
   * Salvador Lucas           (Valencia)
   * Chris Lynch              (Clarkson)
   * José Meseguer            (Urbana)
   * Robert Nieuwenhuis       (Barcelona, Chair)
   * Tobias Nipkow            (Munich)
   * Vincent van Oostrom      (Utrecht)
   * Christine Paulin         (Paris-sud)
   * Frank Pfenning           (Carnegie Mellon)
   * Mario Rodríguez-Artalejo (Madrid)
   * Sophie Tison             (Lille)
   * Ashish Tiwari            (SRI)
   * Andrei Voronkov          (Manchester)
   * Hantao Zhang             (Iowa)


RTA'03 SUBMISSIONS:
Submissions must be original and not submitted for publication
elsewhere. Submission categories include regular research
papers and system descriptions. Also problem sets and
submissions decribing interesting applications of rewriting
techniques will be very welcome.

As usual, accepted papers will appear in the Springer-Verlag
Lecture Notes in Computer Science series. See the RDP'03 web
page <http://www.dsic.upv.es/~rdp03/> for details.
For further questions please contact the program chair:

RTA'03 PROGRAM CHAIR:
Robert Nieuwenhuis
Technical University of Catalonia
Jordi Girona 1, E-08034 Barcelona, Spain
roberto@lsi.upc.es