TLCA 03, Call for papers.

                       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

The programme of TLCA'03 will consist of three invited talks and about 25
selected presentations in plenary sessions.

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)

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
b> fax:
Papers should not exceed 15 pages in Springer_LNCS_format. and should allow the
Programme Committee to assess the merits of the work: in particular references
and comparisons with related work should be included. Submission of material
already published or submitted to other Conferences with Proceedings is not

Relevant dates:
      Submissions: December 2, 2002
      Acceptance/rejection: January 30, 2003
      Definitive versions due: March 15, 2003

The accepted papers are expected to be published as a volume of Springer
Lecture Notes in Computer Science.

More details about the Conference will become available later from the