About Conferences Related Events

TLCA 2009

   Ninth  International Conference on Typed Lambda Calculi and Applications

Wednesday, July 1 to Friday, July 3

Brasília, Brazil

Part of Rewriting, Deduction, and Programming 2009


Accepted Papers

The Ninth  International Conference on Typed Lambda Calculi and Applications (TLCA 2009) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2009), together with the International Conference on Rewriting Techniques and Applications (RTA 2009)  and several related events.

 >>> Final 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'09 will consist of three invited talks (one common with the Conference Rewriting Techniques and Applications) and about 25 papers selected from original contributions. TLCA'09 proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series.


Abstracts and papers must be submitted electronically through the EasyChair system at EasyChair-TLCA .
If you don't have an account on Easychair yet, the above link will also allow you to create one (the process is easy and takes only a couple of minutes).
After logging into the EasyChair system, you can submit your paper by selecting "New Submission" from the top menu and filling the submission form. The EasyChair submission form requires authors to fill in full a postal address, a fax number, authors informations, a title, a short abstract and, at least, two keywords.

Please prepare the manuscript according Springer-Verlag guidelines. You must upload your manuscript before the submission deadline. After submitting your manuscript, you are free to revise your submission (e.g. upload a new version of the PDF or change the abstract) at any time until the conference submission deadline. To make modifications to an already submitted manuscript, log in to EasyChair and select your manuscript from the menu. 

Title and Abstract Submission January 19, 2009
Paper Submission January 26, 2009
Notification March 20, 2009
Final version April 10, 2009

Invited Speakers

There will be three invited talks, one of which will be joint with RTA.

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

The TLCA home page contains more information about the TLCA series of conferences.