TLCA 2013

11th International Conference

on Typed Lambda Calculi and Applications

26-28 June 2013, Eindhoven, The Netherlands

The TLCA (Typed Lambda Calculi and Applications) conference series serves as a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed.

TLCA 2013 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the International Conference on Rewriting Techniques and Applications (RTA 2013) and several related events.

[Registration Information for RDP 2013]

[Preliminary Programme of RTA 2013 and TLCA 2013]

[Proceedings: LNCS 7941]

Important Dates

Abstract Deadline: 25 January 2013
Submission Deadline: 1 February 2013
Notification: 22 March 2013
Camera-ready: 12 April 2013
Conference: 26-28 June 2013

Home TLCA 2013 | Call for Papers | Accepted Papers | Invited Speakers | Organizers

Home RDP 2013 | Call for Workshops for RDP 2013 | Organizing Committee of RDP 2013


Last update 23 March 2013