Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03) Valencia, Spain 10-12 June 2003 Call for Papers

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 following list of topics is non-exhaustive:

• Proof-theory: Natural deduction and sequent calculi, cut elimination and normalisation, linear logic and proof nets, type-theoretic aspects of computational complexity
  
• Semantics: Denotational semantics, game semantics, realisability, categorical models
  
• Implementation: Abstract machines, parallel execution, optimal reduction, type systems for program optimisation
  
• Types: Subtypes, dependent types, type inference, polymorphism, types in theorem proving
  
• Programming: Foundational aspects of functional and object-oriented programming, proof search and logic programming, connections between and combinations of functional and logic programming, type checking

Conference Program (download: ps-file or )

PAPERS accepted for presentation.

The Programme Committee consists of:

A. Asperti (University of Bologna)
T. Coquand (Chalmers University, Göteborg)
V. Danos (University Paris VII)
M. Hofmann (Chair; University of Munich)
P.-A. Mellies (CNRS, Paris)
J. Palsberg (Purdue University)
H. Schwichtenberg (University of Munich)
N. Shankar (SRI International, Menlo Park)
P. Urzyczyn (Warsaw University)

TLCA'03 will be held in Valencia, Spain, 10-12 June 2003, and will be colocated with RTA and FTP to form the RDP joint conference.

The TLCA Steering Committee :

S. Abramsky (Chair; Oxford University)
H. Barendregt (University of Nijmegen)
M. Dezani-Ciancaglini (University of Torino)
R. Hindley (University of Swansea)

TLCA'03 will be held in Valencia, Spain, and will be colocated with RTA and FTP to form the RDP joint conference.

Original contributions: should be sent by E-mail (Postscript files only) to the programme chair:

mhofmann@informatik.uni-muenchen.de and a short abstract should be sent as a separate E-mail; it should use only standard ASCII characters.
Hard copy (6 copies) is also acceptable, to the address

The accepted papers will be published as a volume of Springer Lecture Notes in Computer Science. Information about LNCS can be found at the home page http://www.springer.de/comp/lncs/index.html

More details about the Conference will become available later from the Organising Committee.