From - Mon Mar 10 23:08:11 1997 Path: Radon.Stanford.EDU!news.Stanford.EDU!su-news-hub1.bbnplanet.com!cam-news-hub1.bbnplanet.com!news.bbnplanet.com!news.maxwell.syr.edu!news.apfel.de!news-fra1.dfn.de!newshost.uni-koblenz.de!not-for-mail From: Nobody Newsgroups: comp.theory Subject: Call for system descriptions (LP & NMR '97) Date: 07 Mar 1997 15:28:38 +0100 Organization: University Koblenz / Germany Lines: 75 Message-ID: NNTP-Posting-Host: marvin.uni-koblenz.de X-Newsreader: Gnus v5.3/Emacs 19.34 =========================================================================== Conference Home page: Partially automated mailer: (for help, send a mail with subject `help') =========================================================================== 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 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 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 with subject `help', to get help on using this facility. ====================END OF CALL FOR SYSTEM DESCRIPTION====================