Call for Systems and Applications 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05) Diamante/Cosenza, Italy September 5-8, 2005 http://www.mat.unical.it/lpnmr05/ As part of the technical program of LPNMR'05, we plan a special session devoted to presentations and demonstrations of LPNMR systems and LPNMR applications. Accepted contributions will be published as part of the regular conference proceedings in the Springer "Lecture Notes in Computer Science" series (with a limit of four to five pages). System descriptions should provide information on the theoretical background, features, and possibly implementation techniques, experimental evaluation, programming methodology and availability. Application descriptions should refer to concrete applications of LPNMR and describe design choices and decisions, interesting implementation issues, techniques, and methodology, experimental evaluation and availability. SUBMISSION OF PAPERS -------------------- Submissions must not exceed five pages including title page, references and figures. They must be written in English and formatted according to the Springer LNCS/LNAI authors' instructions. Final versions might be limited to four pages. Please e-mail your submission to lpnmr05@pfeifer.com as a MIME-attached PDF document. See <http://www.springer.de/comp/lncs/authors.html> for detailed instructions by the publisher. In case of questions, please contact Gerald Pfeifer <gerald@pfeifer.com>. IMPORTANT DATES --------------- Submission Deadline May 1, 2005 Notification (Accept/Reject) June 1, 2005 Final Version June 10, 2005 Early Registration Deadline July 4, 2005 Conference Sep. 5-8, 2005 PROGRAM COMMITTEE ----------------- Gerald Pfeifer (chair) Marcello Balduccini Texas Tech University Yuliya Lierler Universität Erlangen Ilkka Niemelä Helsinki University of Technology Yuting Zhao Istituto Trentino di Cultura