[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
                         Diamante/Cosenza, Italy
                           September 5-8, 2005


As part of the technical program of LPNMR'05, we plan a special session 
devoted to presentations and demonstrations of LPNMR systems and LPNMR 

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.


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


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


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