Typed Lambda Calculi and Applications
April 21 - 23, 2005, Nara, Japan
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 conference is bi-annual and is held in spring, every odd calendar year. This year TLCA was held as part of RDP2005 in the beautiful Nara National Park, Japan.
There were 109 registered participants (and more than 170 participants for whole RDP).
PROGRAMME AND PROCEEDINGSThe programme of TLCA'05 consisted of three invited talks and 27 regular talks selected from original contributions.
Slides shown at the business meeting (by M. Hasegawa, slightly updated)
Thierry Coquand Goteborg
Amy Felty Ottawa
(joint speaker with RTA) Susumu Hayashi Kyoto
|October 25, 2004||Titles and abstracts due|
|November 2, 2004||Paper submission deadline|
|December 22, 2004||Notification|
|January 31, 2005||Final versions due|
|February 18 - March 31, 2005||Early registration
|April 1 - April 15, 2005||Late registration
|April 21 - 23, 2005||Conference
SUBMISSION INFORMATION (CLOSED)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 weak before the paper submission deadline.
All submissions and abstracts should be sent by e-mail to firstname.lastname@example.org.Call for papers: [ascii | postscript | pdf]
|Samson Abramsky,||Oxford, chair|
|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, Ishikawa|
|Laurent Regnier,||IML Marseille|
|Pawel Urzyczyn,||Warsaw University, chair|
|Marek Zaionc,||Jagiellonian University, Crakow|
|Masahito Hasegawa,||Kyoto, chair / publicity chair|
Last updated on 25 April 2005 by the organizers
This page is hosted by Research Institute for Mathematical Sciences, Kyoto University.