[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