News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

24-26 June 2013, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), Eindhoven, The Netherlands

Date: 24-26 June 2013
Location: Eindhoven, The Netherlands
Deadline: 1 February 2013

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.

For more information, see http://rta2013.few.vu.nl/

The Programme Committee invites submissions of oroginal papers, problem sets or system descriptions, on all aspects of rewriting. Abstract submission deadline: February 1st, 2013.

Please note that this newsitem has been archived, and may contain outdated information or links.