RTA'04: call for papers

[Femke van Raamsdonk]

RTA'04 may be of interest to the readers of
the types mailinglist because the subjects
lambda calculus, theorem proving and proof
checking are explicitly mentioned.





               ******************************
               *                            *
               *  RTA'04   CALL FOR PAPERS  *
               *                            *
               ******************************

        http://www-i2.informatik.rwth-aachen.de/RTA04/

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

IMPORTANT DATES:
 Jan  15 2004: Deadline electronic submission of title+short abstract
 Jan  22 2004: Deadline electronic submission of papers
 Mar  14 2004: Notification of acceptance of papers
 Apr   4 2004: Deadline for final versions of accepted papers
 Jun 3-5 2004: 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 (functional and logic) 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; tree automata.
* 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'04 by:
  * Neil Jones                (Copenhagen)
  * Aart Middeldorp           (Innsbruck)
  * Robin Milner              (Cambridge)

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'04 PROGRAM COMMITEE:
   * Zena Ariola              (Oregon)
   * J=FCrgen Giesl             (Aachen)
   * Masahito Hasegawa        (Kyoto)
   * H=E9l=E8ne Kirchner          (Nancy)
   * Pierre Lescanne          (Lyon)
   * Klaus Madlener           (Kaiserslautern)
   * Narciso Mart=ED-Oliet      (Madrid)
   * Paul-Andr=E9 Melli=E8s       (Paris)
   * Oege de Moor             (Oxford)
   * Vincent van Oostrom      (Utrecht, Chair)
   * Frank Pfenning           (Carnegie Mellon)
   * Ashish Tiwari            (SRI)
   * Ralf Treinen             (ENS Cachan)
   * Roel de Vrijer           (Amsterdam)

RTA'04 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. More information about
paper submission will be available at the RDP'04 web page

  <http://www-i2.informatik.rwth-aachen.de/RDP04/>

For further questions please contact the program chair:

RTA'04 PROGRAM CHAIR:
Vincent van Oostrom
Universiteit Utrecht
Department of Philosophy
Heidelberglaan 8
3584 CS  Utrecht, Netherlands
Vincent.vanOostrom at phil.uu.nl