[Prev][Next][Index][Thread]
TLCA 2001: DEADLINE EXTENSION
This is to announce a deadline extension for:
Fifth International Conference on
Typed Lambda-Calculi and Applications
which will be held in Krakow, Poland, May 2nd-5th, 2001.
The new extended deadline is: MONDAY OCTOBER 30TH 2000.
The scientific scope of TLCA is quite broad, and includes topics from
proof theory and semantics to types and logical frameworks, and
functional and logic programming.
The original call-for-papers follows:
(see also the home page at http://www.ii.uj.edu.pl/zpi/tlca2001/)
********************************************************
*
* TLCA 2001
*
* 5th International Conference on
* Typed Lambda Calculi and Applications
* May 2 -- 5, 2001
* Krakow, Poland
*
********************************************************
* CALL FOR PAPERS
********************************************************
The TLCA series of conferences aims at providing a forum for the
presentation and discussion of current research in a field which was
originally rather restricted, but has now expanded considerably.
Typical areas include, but are not limited to:
Proof theory:
Natural Deduction and Sequent Calculi, Cut elimination and
Normalization, Computational interpretations of Classical Logic,
Linear Logic and Proof Nets, Bounded systems capturing complexity
classes
Semantics:
Denotational semantics, Operational semantics, Game semantics,
Realizability, Categorical models, Logical Relations, Full Completeness
Implementation:
Abstract machines, Parallel execution, Optimal Reduction
Types:
Polymorphism, Dependent types, Intersection types, Subtypes
Logical Foundations:
Logical Frameworks, Pure Type Systems, Proof checking
Programming:
Foundational aspects of: Functional programming, Proof search and logic
programming, Connections between and combinations of functional and
logic programming, Type checking, Higher-order rewriting, Higher-order
unification and matching
Important Dates
===============
Deadline for Submissions: October 9, 2000
Notification to Authors: December 18, 2000
Final Versions due: February 1, 2001
The accepted papers will be published as a volume of the Springer
Lecture Notes in Computer Science. Information about LNCS can be found
at:
http://www.springer.de/comp/lncs/index.html
Submission Guidelines
=====================
Papers should not exceed 15 standard A4 or US quarto pages, 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 published proceedings is not allowed.
If available, e-mail addresses and fax numbers of the authors should be
included.
Electronic submissions
======================
Electronic submissions are strongly encouraged. A gzipped Postscript
version of the paper should be sent as an e-mail message to:
tlca01@comlab.ox.ac.uk
In addition, the following information in ASCII format should be
sent to this address in a **separate** e-mail: Title; authors;
communicating author's name, address, and e-mail address and
fax number if available; abstract of paper.
Hard-copy submissions
=====================
If electronic submission is not possible, authors may submit five (5)
hard copies of the paper by post to the following address:
TLCA 2001
(Attention: S. Abramsky)
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford
OX1 3QD
United Kingdom
Questions concerning submissions
================================
These should be addressed to the Program Chair, Samson Abramsky:
samson@comlab.ox.ac.uk
Program Committee
=================
S. Abramsky (Oxford) (chair)
P.-L. Curien (Paris)
P. Dybjer (Goteborg)
T. Ehrhard (Marseille)
M. Hasegawa (Kyoto)
F. Honsell (Udine)
D. Leivant (Bloomington)
S. Ronchi della Rocca (Turin)
H. Schwichtenberg (Munich)
P. Scott (Ottawa)
J. Tiuryn (Warsaw)
Organizing Committee
====================
M. Zaionc (chair)
TLCA 2001 web page
==================
http://www.ii.uj.edu.pl/zpi/tlca2001/