LPNMR-7

7th International Conference on Logic Programming and Nonmonotonic Reasoning

Author Instructions for Final Versions of the Papers

Proceedings for LPNMR-7 will be published by Springer in the LNCS/LNAI series. Authors of accepted papers are therefore required to prepare their documents conforming to the author guidelines of the LNCS series.

Maximum page length of a regular paper is 13 pages (including title, references, appendices, etc.) formatted using the guidelines of the LNCS series. For system descriptions the maximum length is 4 pages.

When submitting your camera-ready manuscript please make sure you include the following:

• your source (input) files, e.g. TEX files for the text and PS or EPS files for the figures,
• RTF files (if the document has been prepared using a text processing system other than LaTeX or TeX),
• any style files, templates, and special fonts you may have used,
• the final DVI file (for papers prepared using LaTeX or TeX),
• the final PS file (not in reverse order),
• if possible, a PDF file of the final version of your contribution.

Please send these by email to lpnmr-7@tcs.hut.fi preferably in the form of a gzipped tar archive by Oct 15, 2003.

Please make sure that there are no printed page numbers!

Copyright Form

In addition, Springer requires a completed and signed copyright form for each paper. One author can sign the form on behalf of all the other authors. The completed and signed form should be faxed to +358-9-451 3369 (ATTN: LPNMR-7) by Oct 15, 2003.

For the Copyright Form:
For Conference/Book please fill in "Seventh International Conference on Logic Programming and Nonmonotonic Reasoning".
Volume Editor(s) are Vladimir Lifschitz and Ilkka Niemelä.

Deadline

The deadline for submitting the final versions is Oct 15, 2003.