RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
TLCA'03
6th International Conference on Typed Lambda Calculi and Applications
Valencia, Spain, June 10-12, 2003

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.


TOPICS

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

SUBMISSIONS

Original contributions should be sent by E-mail (Postscript files only) to the programme chair: and a short abstract should be sent as a separate E-mail; it should use only standard ASCII characters. Hard copy (6 copies) is also acceptable, to the address
    Martin Hofmann
    Institut für Informatik
    Oettingenstr. 67
    80538 München, Germany
    fax: (+)-49-89-21809338
Papers should not exceed 15 pages in Springer LNCS format. and should allow the Programme Committee to assess the merits of the work: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other Conferences with Proceedings is not allowed.

The accepted papers will be published as a volume of Springer Lecture Notes in Computer Science. Information about LNCS can be found at the home page http://www.springer.de/comp/lncs/index.html


IMPORTANT DATES

    December 2, 2002 Deadline for submission of papers
    Late submissions are considered on discretion of the PC chair
    January 30, 2003 Notification of acceptance/rejection
    March 15, 2003 Deadline for final versions of accepted papers
    June 10-12, 2003 Conference

INVITED SPEAKERS

Invited talks will be given at TLCA'03 by:
PROGRAM COMMITTEE

STEERING COMMITTEE

PROGRAM CHAIR
    Martin Hofmann
    Institut für Informatik
    Oettingenstr. 67
    80538 München, Germany
    fax: (+)-49-89-21809338


FURTHER INFORMATION


LNCS APPSEM