Please note that this newsitem has been archived, and may contain outdated information or links.
26-28 June 2007, Rewriting Techniques and Applications (RTA 07)
The International Conference on Rewriting Techniques and Applications RTA is the major forum for the presentation of research on all aspects of rewriting. The 18th Conference (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).
For more information, see http://www.lsv.ens-cachan.fr/rdp07/rta.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 26 January 2007.
Please note that this newsitem has been archived, and may contain outdated information or links.