TLCA 05 Call for Papers

TLCA 05 Call for Papers

[Hasegawa Masahito]

                           TLCA'05 CALL FOR PAPERS

                       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

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