Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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)

Date: 26-28 June 2007
Location: Paris, France
Deadline: 26 January 2007

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.