TLCA 2013 Call for Papers

[CFP in PDF | CFP in plain text | Submission Webpage]

The 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are:

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

Submission Guidelines

We solicit submissions of research papers, which must: Submissions deviating from these instructions may be rejected without review. A condition of submission is that, if accepted, one of the authors must attend the conference to give the presentation.


The proceedings will be published as a volume in the ARCoSS subline series of Springer-Verlag Lecture Notes in Computer Science. Final papers will be in the format specified by Springer-Verlag.


Any questions regarding the submission guidelines should be directed to the Programme Committee Chair (Masahito Hasegawa <>) prior to submitting.

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