RDP
MEETINGS
VENUE
|
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
|