RTA  2004

15th International Conference on Rewriting Techniques and Applications

June 3 - 5, 2004          Aachen, Germany		 RTA


The International Conference on Rewriting Techniques and Applications (RTA) is the major conference on rewriting. Its creation was decided after the Workshop on the Rewrite Rule Laboratory, held in Schenectady (NY) in September 1983. From 1985 to 1993, RTA was a bi-annual conference. In 1995, RTA was merged with the Workshop on Conditional (and Typed) Term Rewriting Systems (CTRS) and became an annual conference.

Previous RTA meetings were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003). RTA 2005 will be held in Nara.


ACCEPTED PAPERS
 
   

IMPORTANT DATES
 
January 15, 2004 Deadline for electronic submission of title and abstract
January 22, 2004 Deadline for electronic submission of papers
March 14, 2004 Notification of acceptance of papers
April 4, 2004 Deadline for final versions of accepted papers
June 3 - 5, 2004 Conference

RTA is part of the Federated Conference on Rewriting, Deduction, and Programming (RDP) consisting of several co-located workshops on May 31 (Monday) - June 5 (Saturday), 2004.
TOPICS

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.
  • An ASCII version of the title and of the abstract must reach the program chair by January 15, 2004.
  • The deadline for the submissions of the full papers is January 22, 2004.
  • Papers should be submitted electronically via the web-based submission form.
  • If electronic submission is not possible, four hard copies may be sent to the program chair.
Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Also problem sets and submissions describing interesting applications of rewriting techniques will be very welcome.

Authors are encouraged to use LaTeX and the Springer llncs class files available from http://www.springer.de/comp/lncs/authors.html. If you use this class, turn on page numbers using \pagestyle{plain}. Proofs of theorems should be provided in the paper, or, if space does not permit, should be made accessible otherwise (e.g. as an appendix). The page limit is 15 pages (10 pages for system descriptions). Papers that are late, too long or require substantial revision will not be considered.

The call for papers can be found here.
PROCEEDINGS
Similar to the proceedings of all previous RTA's, the proceedings of RTA 2004 are published by Springer-Verlag as part of their Lecture Notes in Computer Science series. 

The proceedings are now available online. Further information about the proceedings is available here.
  LNCS
INVITED SPEAKERS
Neil Jones
 Copenhagen
Aart Middeldorp   
Innsbruck
Robin Milner  Cambridge
BEST PAPER AWARD

A 1000 Euro award will 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.
PROGRAM CHAIR

Vincent van Oostrom
Universiteit Utrecht
Deepartment of Philosophy
Heidelberglaan 8
3584 CS Utrecht
The Netherlands
E-mail: Vincent.vanOostrom@phil.uu.nl

PROGRAM COMMITTEE
 
Zena Ariola Oregon
Jürgen Giesl Aachen

Masahito Hasegawa   
Kyoto
Hélène Kirchner
 Nancy
Pierre Lescanne
 Lyon
Klaus Madlener
 Kaiserslautern
Narciso Martí-Oliet
 Madrid
Paul-André Melliès
 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

CONFERENCE CHAIR

Jürgen Giesl
LuFG Informatik II
RWTH Aachen
Ahornstr. 55
52074 Aachen
Germany
E-mail: giesl@informatik.rwth-aachen.de

FINANCIAL SUPPORT

DFG