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

Author Instructions for Final Paper Versions

These instructions apply to both regular and system description papers.

Instructions for Document Preparation

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

Each paper must not exceed 13 pages (including title, references, appendices, etc.).

Please make sure that there are no pagenumbers!

Instructions for Final Paper Submission

You must send all source files (TEX files, all additional files, such as PS or EPS files for figures, style files), a DVI file, PS file and PDF file) by email (preferably a gzipped tar archive as attachment) to the following address: lpnmr01+final@kr.tuwien.ac.at.

If you use Microsoft Word (which is discouraged, see the Springer page for reasons), you must send your DOC file (and all additional input files), an RTF file, a PS file and a PDF file by email (preferably a gzipped tar archive as attachment) to lpnmr01+final@kr.tuwien.ac.at.

If you have questions concerning this procedure, please contact us at lpnmr01@kr.tuwien.ac.at.

Copyright Form

For each paper, you must print the Springer copyright form, sign it (one author can sign on behalf of all authors of a paper), and fax it to +43-1-58801-18493 (ATTN:LPNMR).

For Conference/Book please fill in "Logic Programming and Nonmonotonic Reasoning (LPNMR'01)".

Volume Editor(s) will be Thomas Eiter, Miroslaw Truszczynski, Wolfgang Faber.


Deadline is June 21st, 2001.


  • To be sent to lpnmr01+final@kr.tuwien.ac.at (preferably a gzipped tar archive as attachment):
    1. all source files (TEX/DOC, figures, styles)
    2. DVI or RTF file
    3. PS and PDF files
  • Fax signed copyright form to +43-1-58801-18493 (ATTN:LPNMR).