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.
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