Please note that this newsitem has been archived, and may contain outdated information or links.
14-17 July 2014, Joint 25th International Conference on Rewriting Techniques and Applications (RTA 2014) & 12th International Conference on Typed Lambda Calculi and Applications (TLCA 2014): , Vienna, Austria
This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.
For more information, see http://vsl2014.at/rta-tlca
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for abstract submission: January 28, 2014.
Please note that this newsitem has been archived, and may contain outdated information or links.