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