RDA2005>> [HOME PAGE] [Conference Officials] [Sponsors]

MEETINGS >>
RTA
TLCA
RULE
UNIF
WRS
WG1.6

VENUE >>
Nara
        &Kansai region
Travelling
travel hints by Ralf Treinen
Program
Conference hall


image_rdp05_poster

TLCA'05

Seventh International Conference on
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.

hall deer participants participants

There were 109 registered participants (and more than 170 participants for whole RDP).

PROGRAMME AND PROCEEDINGS

The programme of TLCA'05 consisted of three invited talks and 27 regular talks selected from original contributions.

The proceedings has been published as Springer Lecture Notes in Computer Science 3461.

LNCS3461

PROGRAMME [txt]|[pdf]

Slides shown at the business meeting (by M. Hasegawa, slightly updated)

INVITED SPEAKERS

Thierry Coquand Goteborg
Amy Felty Ottawa
(joint speaker with RTA)
Susumu Hayashi Kyoto

IMPORTANT DATES

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 tlca05@mimuw.edu.pl.

Call for papers: [ascii | postscript | pdf]

STEERING COMMITTEE

Samson Abramsky, Oxford, chair
Henk Barendregt, Nijmegen
Mariangiola Dezani-Ciancaglini, Turin
Roger Hindley, Swansea
Martin Hofmann, Munich

PROGRAM 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, Ishikawa
Laurent Regnier, IML Marseille
Pawel Urzyczyn, Warsaw University, chair
Marek Zaionc, Jagiellonian University, Crakow


ORGANIZING COMMITTEE

Masahito Hasegawa, Kyoto, chair / publicity chair
Ryu Hasegawa, Tokyo
Mitsu Okada, Keio
Masahiko Sato, Kyoto
Masako Takahashi, ICU


Last updated on 25 April 2005 by the organizers
This page is hosted by Research Institute for Mathematical Sciences, Kyoto University.


[Back to PAGE TOP] [HOME PAGE]