CALL FOR SYSTEM DESCRIPTIONS
LP & NMR '97
Dagstuhl, Germany
July 28--31, 1997
Descriptions of working automated deduction systems (including
prototypes) for logic programming and/or nonmonotonic reasoning are
solicited for the LP & NMR '97. The emphasis is on systems that
incorporate features from both logic programming and non-monotonic
reasoning. A system description should provide information on the
theoretical background, the major features and implementation
techniques and experimental evaluation.
This CALL FOR SYSTEM DESCRIPTIONS is closely related to the special
Panel on Implementations at LP & NMR 97, and its purpose is to
emphasize the importance of working systems.
Accepted system descriptions will be published in the conference
proceedings (10 pages). It is expected that one of the authors will
attend the conference to give a talk and a demonstration of the
system.
=================
PAPER SUBMISSION
================
System Descriptions can be up to 10 pages, formatted according to
Springer-Verlag guidelines (see conference home page for these
guidelines and LaTeX style files). Please send a postscript-file to
Juergen Dix <dix@informatik.uni-koblenz.de> by April 4.
Descriptions will be refereed by the Implementation Panelists.
=========
PANELISTS
=========
Juergen Dix (Germany)
Ronen Feldman (Israel)
Ilkka Niemelae (Finland)
Torsten Schaub (France)
Miroslaw Truszczynski (U.S.A.)
David Scott Warren (U.S.A.)
===============
IMPORTANT DATES
===============
Papers Due on: April 4, 1997
Author Notification: April 18, 1997
Final version Due on: May 2, 1997
Conference: July 28--31, 1997
===================
FURTHER INFORMATION
===================
Visit <http://www.uni-koblenz.de/~lpnmr97/> in the world wide web for
any updated information regarding this conference. Information can
also be obtained by e-mail from a partially automated mailer. Send a
mail to <lpnmr97@informatik.uni-koblenz.de> with subject `help', to
get help on using this facility.
====================END OF CALL FOR SYSTEM DESCRIPTION====================
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-