Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 1-3 July 2015
Location: Warsaw, Poland
Deadline: 30 January 2015

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

The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Deadline: 30 January 2015.

Please note that this newsitem has been archived, and may contain outdated information or links.