International Conference on

Typed Lambda Calculi and Applications

The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed calculi. The conference is bi-annual and is held in spring, every odd calendar year. Since 2003 TLCA is a part of the Federated Conference on Rewriting, Deduction and Programming (RDP).

Next TLCA will be part of Vienna Summer of Logic. This will be a joint event with RTA, called 25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA), and abbreviated RTA/TLCA.

RTA/TLCA 2014 Web Page

TLCA 2015 is planned at the University of Warsaw, Poland, as part of RDP 2015.

The Google Group Future of TLCA is addressed to everyone interested in the future of the conference. Please take part in the discussion.

Scope of the conference
Steering Committee
TLCA List of Open Problems
Predecessors of TLCA
Past meetings
Publications
Related links


Scope of the conference

Typical areas include, but are not limited to:

* Typed and untyped lambda-calculi as models of computation.
* Proof theory:  Natural deduction, sequent calculi, cut elimination and normalization. Propositions as types, linear logic and proof nets.
* Types:  Subtypes, dependent types, type inference, polymorphism, types for security.
* Semantics:  Denotational semantics, game semantics, realizability, categorical models.
* Programming languages:  Foundations of functional and object-oriented programming, proof search, logic programming, type checking.
* Implementation:  Abstract machines, parallel execution, optimal reduction, program optimization.
* Computer-aided reasoning.

Steering Committee

Samson Abramsky, Oxford
Henk Barendregt, Nijmegen
Pierre-Louis Curien, Paris
Mariangiola Dezani, Torino
Martin Hofmann, Munich
Masahito Hasegawa, Kyoto
Luke Ong, Oxford
Simona Ronchi Della Rocca, Torino
Paweł Urzyczyn, Warsaw, chair

Honorary Advisor

Roger Hindley, Swansea

Publicity Chair

Luca Paolini, Torino

TLCA List of Open Problems: http://tlca.di.unito.it/opltlca/

The TLCA List of Open Problems (modeled after RTA LOOP) aims at collecting unresolved questions (and other relevant information, e.g. about solutions and related results) in the subject areas of TLCA. Go to the URL http://tlca.di.unito.it/opltlca/

The present list of open problems has noble predecessors. The first list of problems in lambda-calculus was collected by Henk Barendregt in 1975. It was published in the book:

λ-Calculus and Computer Science Theory, LNCS 37.

Another was created at the occasion of the Swansea lambda-calculus meeting in 1979, and published in

Bull. EATCS 10, 1980, 136--140.

At a meeting of the Gentzen project in 1993 (a setellite event of the first TLCA) another list was circulated.
Here is a scan of this document.

Predecessors of TLCA

Here is an article "Lambda-Calculus Conferences in the 1970s" by Roger Hindley.
See also the Swansea 1979 photograph and its key to names.

Past meetings

1993: Utrecht, The Netherlands,
1995: Edinburgh, Scotland,
1997: Nancy, France,
1999: L'Aquila, Italy,
2001: Kraków, Poland,
2003: Valencia, Spain.
2005: Nara, Japan.
2007: Paris, France.
2009: Brasilia, Brazil.
2011: Novi Sad, Serbia.
2013: Eindhoven, The Netherlands.

Publications

The Proceedings of TLCA conferences are published in the LNCS series of Springer-Verlag:

1993 (Utrecht)         --- LNCS  664 (M. Bezem, J.F. Groote, Eds.)
1995 (Edinburgh)    --- LNCS  902 (M. Dezani-Ciancaglini, G. Plotkin, Eds.)
1997 (Nancy)            --- LNCS 1210 (P. de Groote, J.R. Hindley, Eds.)
1999 (L'Aquila)        --- LNCS 1581 (J.-Y. Girard, Ed.)
2001 (Krakow)          --- LNCS 2044 (S.Abramsky, Ed.)
2003 (Valencia)        --- LNCS 2701 (M. Hofmann, Ed.)
2005 (Nara)              --- LNCS 3461 (P. Urzyczyn, Ed.)
2007 (Paris)              --- LNCS 4583 (S. Ronchi Della Rocca, Ed.)
2009 (Brasilia)          --- LNCS 5608 (P.-L. Curien, Ed.)
2011 (Novi Sad)        --- LNCS 6690, ARCoSS, (Luke Ong, Ed.)
2013 (Eindhoven)     --- LNCS 7941, ARCoSS, (Masahito Hasegawa, Ed.)

Visit the DBLP page for bibliographic information and list of contents.

Final revised and expanded versions of selected papers from TLCA 1997, 1999, 2003, and 2005 have appeared in special issues of Fundamenta Informaticae:

vol 33, Number 4, April 1998 (Guest Editor: Roger Hindley)
vol 45, Number 1-2, January 2001 (Editors: Jean-Yves Girard, Pawel Urzyczyn)
vol 65, Number 1-2, March 2005 (Editors: Martin Hofmann, Pawel Urzyczyn)
vol. 77 Number 4, June 2007 (Editors: Thorsten Altenkirch, Pawel Urzyczyn)

Selected papers of TLCA 2007 and TLCA 2009 appeared in special issues of Logical Methods in Computer Science.

Related links

Conferences:

RTA home page
LiCS home page

Others:

Trout Lake Conservation Association
Telugu Literary and Cultural Association
Toyota Land Cruiser Association
Tasmanian Landcare Association

One can also read "TLCA" as: Tratado de Libre Comercio de América, The Leadership Campaign on AIDS, Traffic Light Control Agent, Trust and Loan Companies Act, T. L. Carter  & Associates,  Texas Laboratory and Curation Alliance, or even Telecomunicaciones por Cable!

Last modified: November 22, 2013
Pawel Urzyczyn: urzy at mimuw.edu.pl