TLCA 2011 - TLCA 2011 : 10th Conference on Typed Lambda Calculi and Applications

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

Call for papers

The TLCA series of conferences is a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are:

Proof-theory: formal reasoning based on type theory, linear logic and proof nets, type-theoretic aspects of computational complexity
Semantics: game semantics, realisability, categorical and other models
Types: dependent types, polymorphism, intersection types and related approaches (union types, refinement / liquid types, behavioural types), type inference, types in program analysis and verification
Programming: foundational aspects of functional and object-oriented programming, flow analysis of higher-type computation, program equivalence (step-indexed, bisimulation and related methods)
Important Dates

Wednesday 26 January 2011 Submission of titles and short abstracts
Wednesday 2 February 2011, 23:00 Greenwich Mean Time Strict deadline for submission of 15-page full papers
Wednesday 23 March 2011 Notification of acceptance
Sunday 3 April 2011 Camera-ready paper versions due
(The above dates are tentative, to be confirmed as soon as possible.)

The paper submission deadline is STRICT. The submission of abstracts a week earlier allows the programme committee to start work before full versions are available. The submission site is now open for both abstracts and full papers.

Submission of an abstract does not entail an obligation to submit a full paper; however an abstract that is not accompanied by a full paper by the final deadline will be treated as withdrawn, but authors are strongly encouraged, in this case, to explicitly withdraw their submission by sending an e-mail to the PC Chair.