Ninth  International Conference on                   
   Typed Lambda Calculi and Applications (TLCA '09)     
==========================================================

                 Brasilia, July 01-03, 2009
                                                         
==========================================================
Part of Federated Conference on Rewriting, Deduction, 
and Programming (RDP'09)

  http://rdp09.cic.unb.br/

------------------------------------------------
** Title and abstract due    19 January 2009 **
** Deadline for submission  26 January 2009 **
------------------------------------------------


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'09 will consist of three invited talks (one common
with the Conference Rewriting Techniques and
Applications) 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).


Invited Speakers
------------------------------------

There will be three invited talks:

* Marcelo Fiore (Univ. of Cambridge)
* Bob Harper (Carnegie Mellon Univ.)
* Jean-Louis Krivine (Univ. Paris 7)



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
(http://www.springer.de/comp/lncs/authors.html).


Abstracts and papers must be submitted electronically 
through the EasyChair system at:
http://www.easychair.org/conferences/?conf=tlca09
more details on the EasyChair procedure 
can be found on the web page of the conference.


Important Dates:
----------------
Title and abstract due   Monday January 19
Deadline for submission  Monday January 26
Referee reports due, PC discussion starts   Sat February 28
Notification acceptance/rejection           Fri March 20
Final Versions sent in by authors  Fri April 10


TLCA'09 Program Committee:
--------------------------

Zena Ariola, University of Oregon
Patrick Baillot, CNRS and ENS Lyon
Thierry Coquand, Goteborg University,
Pierre-Louis Curien , CNRS and University Paris 7 (PC Chair)
René David , Université de Savoie
Dan Ghica , University of Birmingham
Ryu Hasegawa , Tokyo University
Barry Jay , University of Technology, Sydney
Soren Lassen , Google, Sydney
Luca Paolini , University of Torino
Frank Pfenning , Carnegie Mellon University
Thomas Streicher , Technical University of Darmstad


TLCA Steering Committe:
-----------------------
Samson Abramsky, Oxford, chair
Henk Barendregt, Nijmegen
Mariangiola Dezani-Ciancaglini, Turin
Roger Hindley, Swansea
Martin Hofmann, Munich
Pawel Urzyczyn, Warsaw
Simona Ronchi Della Rocca, Turin


TLCA Publicity Chair:
---------------------
Luca Paolini