Seventh International Conference on
               Typed Lambda Calculi and Applications (TLCA '05)
                                  Nara, Japan
                               21-23 April 2005
                        (Colocated with RTA as RDP '05)
                  http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/


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 lambda calculi and related systems. The following list of topics 
is non-exhaustive:

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

The programme of TLCA'05 will consist of three invited talks and about 25 
papers selected from original contributions. Accepted papers will be published 
as a volume of Springer Lecture Notes in Computer Science series. 
[http://www.springer.de/comp/lncs/index.html]


Submissions:
------------
The submitted papers should describe original work and should allow the 
Programme Committee to assess the merits of the contribution: in particular 
references and comparisons with related work should be included. 
Submission of material already published or submitted to other conferences 
with published proceedings is not allowed. 

Papers should not exceed 15 pages in Springer LNCS format. An abstract (ASCII
text) of no more than 150 words should be sent separately at least a week 
before the paper submission deadline. 

All submissions should be sent by e-mail to tlca05@mimuw.edu.pl


Important dates:
----------------
Authors are required to submit a paper title and a short abstract 
at least a weak before the paper submission deadline. All deadlines
below are at 24:00 Central European time (GMT+1).

Titles and abstracts due:   October  25, 2004
Paper submission deadline:  November 2,  2004
Notification:               December 22, 2004
Final versions due:         January  31, 2005

Accepted papers should be prepared according to Springer LNCS guidelines
as described in http://www.springer.de/comp/lncs/authors.html. Final 
versions must include all source files. Further information is available 
from the conference web page http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/
Inquiries concerning submissions and programme should be addressed to 
tlca05@mimuw.edu.pl. Inquiries concerning the conference organization
and participation should be sent to tlca05org@kurims.kyoto-u.ac.jp




TLCA Steering Committee:
------------------------
Samson. Abramsky, Oxford, chair
Henk Barendregt, Nijmegen
Mariangiola Dezani-Ciancaglini, Turin
Roger Hindley, Swansea
Martin Hofmann, Munich

TLCA 05 Programme Committee:
----------------------------
Thorsten Altenkirch, University of Nottingham
Stefano Berardi, University of Turin
Adriana Compagnoni, Stevens Institute of Technology, Hoboken
Herman Geuvers, Nijmegen University
Andy Gordon, Microsoft Research, Cambridge
Fritz Henglein, Copenhagen University
Martin Hofmann, LMU Munich 
Assaf J. Kfoury, Boston University
Atsushi Ohori, JAIST, Tatsunokuchi
Laurent Regnier, IML Marseille
Pawel Urzyczyn, Warsaw University, chair
Marek Zaionc, Jagiellonian University, Cracow

TLCA 05 Organizing Committee:
-----------------------------
Masahito Hasegawa, Kyoto, chair 
Ryu Hasegawa, Tokyo 
Mitsu Okada, Keio 
Masahiko Sato, Kyoto 
Masako Takahashi, ICU 

------------------------------------------------------------------------------