[TYPES] LPNMR'05: Call for Systems and Applications
lpnmr05.publicity at mat.unical.it
lpnmr05.publicity at mat.unical.it
Mon Apr 4 13:41:12 EDT 2005
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 at 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 at 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
More information about the Types-list
mailing list