7th International Conference on Logic Programming and Nonmonotonic Reasoning

Important Dates
Call for Papers
Call for System Descriptions
Program Committee
Paper Submission
Accepted Papers
Author Instructions
Invited Talks
Travel Information

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!

[Notice that it is not required to send a printout of the final (camera-ready) version of your contribution by mail. Instead the volume editors will use the PS/PDF file of the final version to printout a hardcopy for the publisher.]

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š.


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

Latest update: 08 October 2003.