Springer has agreed to publish Post-Workshop Proceedings for TYPES 2002 in the Lecture Notes in Computer Science (LNCS) series. Previous TYPES post-workshop proceedings include LNCS volumes 2277, 1657, 1512, 1158, 996 and 806.
We are happy to encourage you to submit research papers on the subject of the Types Working Group.
| DEADLINE for submission: 6 September 2002. |
| WHO MAY SUBMIT: *any* participant of the Working Group including any attendees of the April workshop. |
We invite submission of high quality papers, written in English and typeset in LaTeX2e using the LNCS style. (See Authors Instructions .) Submissions should not have been published and should not be under consideration for publication elsewhere. Submissions should be no more than fifteen pages long in LNCS style. Please email your contribution as a self-contained postscript file (MIME attachment or uuencoded) to:
In a separate email, give the title, authors and abstract of your submission, as well as email address of the corresponding author. Submissions will be acknowledged (perhaps with some delay).
LNCS is now published in full-text electronic version, as well as printed books. Thus we will need the final LaTeX source files of accepted submissions. The final versions of accepted submissions must be in the LaTeX2e LNCS style, and be as self-contained as possible. There is also now a copyright form for LNCS accepted papers.
Best regards from the editors, which are