News and Events: Conferences

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

Date: 14-17 July 2014
Location: Vienna, Austria
Deadline: 28 January 2014

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.