About Conferences Related Events
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:
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 .
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.
Invited SpeakersThere will be three invited talks, one of which will be joint with RTA.
Program CommitteeZena 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 ChairLuca Paolini
The TLCA home page contains more information about the TLCA series of conferences.