RTA logo

RTA 2013

24th International Conference

on Rewriting Techniques and Applications

June 24-26, 2013, Eindhoven, The Netherlands

The RTA conferences series serves as a forum for presenting original work on all aspects of rewriting.

RTA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Typed Lambda Calculi and Applications (TLCA 2013) and several related events.

The deadline to submit papers to RTA 2013 passed; here is the list of accepted papers.
For information about registration etcetera, see the homepage of RDP 2013.

RTA gratefully acknowledges the financial support and support in kind of NWO (the Netherlands Organization for Scientific Research) and Eindhoven University of Technology.

Home RTA 2013 | Invited Speakers | Accepted Papers | Programme Committee | Steering Committee | Call for Papers

Home RDP 2013 | Call for Workshops for RDP 2013 | Organizing Committee of RDP 2013

Last update May 17, 2013.