1-3 July 2015, 13th International Conference on Typed Lambda Calculi and
Applications (TLCA 2015), Warsaw, Poland

The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.

For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.