About Conferences Colloquium Workshops Practical

RTA 2007

Rewriting Techniques and Applications

Tuesday, June 26, 2007 to Thursday, June 28, 2007, Paris
Part of RDP'07

RTA conference programme
The 18th International Conference on Rewriting Techniques and Applications (RTA'07) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'07), which comprises, in addition to RTA'07, the conference on Typed Lambda Calculi and Applications (TLCA'07) and eight workshops HOR, PATE, RULE, SecReT, UNIF, WFLP, WRS, and WST).

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; analysis of cryptographic protocols; proof checking; reasoning about programming languages and logics; program transformation;
  • Foundations: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata; termination; combination;
  • Frameworks: string, term, graph, and proof rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures;
  • Implementation: compilation techniques; parallel execution; rewrite tools; termination checking;
  • Semantics: equational logic; rewriting logic; rewriting models of programs.

Related Events

The International School on Rewriting (ISR 2007) will be held at LORIA, Nancy, France, 2nd-6th July 2007. See here for travel to ISR 2007.

Invited Speakers

There will be invited talks by


Accepted papers will be published as volume 4533 of the Springer Lecture Notes in Computer Science series.

Best Paper Award

An award is given to the best paper or papers as decided by the program committee.

Program Committee Chair

Program Committee

RTA'07 Conference Chairs

RTA Publicity Chair

webmaster at rdp07 dot org