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.

29 June - 1 July 2015, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), Warsaw, Poland

Date: 29 June - 1 July 2015
Location: Warsaw, Poland
Deadline: 30 January 2015

RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).

For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair:

The Programme Committee cordially invites all researchers to submit their papers for presentation. This year we particularly welcome submissions on applications of rewriting. In addition to full research papers, application papers, systems descriptions and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. Submission deadline (title and abstract): 30 January 2015.

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