RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
RTA'03
14th International Conference on Rewriting Techniques and Applications
Valencia, Spain, June 9-11, 2003

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); their proceedings were published by Springer-Verlag as part of their Lecture Notes in Computer Science series.


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) 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.

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. Authors of accepted papers will be requested to sign a form transfering copyright of their contribution to Springer-Verlag. Authors are encouraged to use LaTeX2e and the Springer llncs class files . If you use this style, turn on page numbers using \pagestyle{plain}. The page limit is 15 pages (10 pages for system descriptions). Submission will take place electronically through the submissions web page.


IMPORTANT DATES
    Jan 15, 2003 Deadline for electronic submission of title and short abstract
    Jan 22, 2003 Deadline for electronic submission of papers
    Mar 15, 2003 Notification of acceptance of papers
    Apr 7, 2003 Deadline for final versions of accepted papers
    June 9-11, 2003 Conference

INVITED SPEAKERS

Invited talks will be given at RTA'03 by:
BEST PAPER AWARDS

Given the reviews and evaluations of all submissions, the RTA'03 program committee decided to split the RTA'03 best paper award (of 1000 Euro) into two halves: 500 Euro for regular papers and 500 Euro for systems. Second, it turned out that there was a draw in the regular papers half.

So finally, the decision has been:

The award will be delivered during the RTA business meeting, Monday June 9th at 18:30h.


PROGRAM COMMITTEE

PROGRAM CHAIR

CONFERENCE CHAIR

FURTHER INFORMATION


LNCS