International Conference on
Rewriting, Deduction, and Programming
June 29 to July 3, 2015
Warsaw, Poland

RTA 2015, 26th International Conference on
Rewriting Techniques and Applications

Call for papers | Important Dates | Submissions Guidelines | Program Committee | Invited Speakers

June 29-July 1, 2015, Warsaw, Poland

Accepted Papers

Here is the list of accepted papers.

Call for Papers (PDF)


RTA is the major forum for the presentation of research on all aspects of rewriting. Topics of interest include:

Foundations: string, term, net and graph rewriting; higher-order rewriting; binding techniques; constrained rewriting and deduction; categorical and infinitary rewriting; stochastic rewriting; higher-dimensional rewriting; tree automata; confluence; termination; complexity; modularity; equational logic; universal algebra; rewriting logic; rewriting calculi.

Algorithmic aspects and implementation: strategies; matching; unification; anti-unification; narrowing; completion; parallel execution; certification of rewriting properties; abstract machines; automated (non)termination and confluence provers; automated complexity analysis; system descriptions.

Applications of rewriting: programming languages (functional, logic, object-oriented and other programming paradigms); type systems; program analysis, transformation and optimisation; rewriting models of programs; semantics; process calculi; functional calculi; explicit substitution; constraint solving; symbolic and algebraic computation; theorem proving; proof checking; system modelling; system synthesis and verification; planning; XML queries and transformations; cryptographic protocols; security policies; system biology; linguistics; rewriting in education.

Important Dates

Abstract submission (extended):   February 6, 2015 (Friday)
Paper submission (extended): February 13, 2015 (Friday)
Rebuttal period: March 19–21, 2015 (Thursday-Saturday)
Notification: April 8, 2015 (Wednesday)
Final version: April 25, 2015 (Saturday)

Submission and Publication

The RTA 2015 proceedings will be published by LIPIcs (Leibniz International Proceedings in Informatics). Papers should present original work (i.e., not published or under reviewing elsewhere), and should be submitted via Easychair: They should be at most 15 pages (10 for system descriptions) in the style described in: Submissions on applications of rewriting are particularly welcome. Application papers are regular papers (15 pages); their originality is judged on the basis of the novelty of the application or the depth of the rewriting methods applied.

System description papers present new software tools in which rewriting plays an important role, or significantly new versions of such tools. The paper should include an evaluation of the tool.

One author of each accepted paper is expected to present it at the conference.

Colocated Events

RTA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2015) and several related events. Details about workshops are available here.

Programme Committee

Programme Chair

Maribel Fernández
King’s College London
Maribel.Fernandez at

Invited Speakers

Important information

Plenary speakers

Valid XHTML 1.1 Valid CSS!