*******************************************************************************
 6th International Conference on Logic Programming and Nonmonotonic Reasoning

                                 LPNMR'01

                  Vienna, Austria, September 17--19, 2001

                    http://www.kr.tuwien.ac.at/lpnmr01/

                       CALL FOR SYSTEM PRESENTATIONS

*******************************************************************************

AIM AND SCOPE

Recent years have resulted in several exciting developments in the 
field of LPNMR. One of them is the emergence of answer-set programming. 
It can be directly attributed to the development of successful LPNMR 
systems such as Smodels and DLV. Despite the progress, we are clearly 
still at the beginning of the road towards practical computational 
environments supporting answer-set programming and nonmonotonic 
reasoning.

To further spur research in this direction, as part of the technical
program of LPNMR'01 we plan a special session devoted to presentations 
and demonstrations of implemented answer-set programming and, more 
broadly, nonmonotonic reasoning systems. The session will take place
in one of the evenings of during the conference, presumably on Monday,
September 17, 2001. Support for some standard platforms will be
provided, but laptop presentations for backup are strongly
encouraged. 

Thus, we solicit submissions to this special session. A system 
description should provide information on the theoretical background, 
major features and implementation techniques and experimental 
evaluation. Comments on programming methodology and information on
system availability are also welcome.

Accepted system descriptions will be published in the conference 
proceedings (4 page length limit). 

*******************************************************************************
SUBMISSION DETAILS

The authors should submit a brief 1-page description of the system. 
The submission must be in the postscript format. It must be e-mailed
to either of the two conference co-chairs:

          Thomas Eiter - eiter@kr.tuwien.ac.at
    Mirek Truszczynski - mirek@cs.uky.edu

The abstract must be received by May 28, 2001

The full system description is due June 21, 2001. It must be formatted 
according to the Springer LNCS/LNAI authors' instructions and cannot 
exceed 4 pages (all included). The instructions can be found at
http://www.springer.de/comp/lncs/authors.html

*******************************************************************************
IMPORTANT DATES

1-page abstract submission           May 28, 2001
Final system description note
(4 pages)                            June 21, 2001

*******************************************************************************
BENCHMARK SET

An important issue for development of effective answer-set programming
systems is that of benchmarks. Benchmark problems will allow us to
compare modeling capabilities of answer-set programming systems as well 
as their computational performance. We intend to establish a comprehensive
set of diverse benchmarks for answer-set programming and require that
system presenters at the conference discuss the performance of their
systems on benchmark problems in the set.

Therefore, we invite you to submit statements of problems for possible
inclusion in the benchmark set. These statements should be submitted by
e-mail, no later than by May 28, to either of the two conference
co-chairs:

          Thomas Eiter - eiter@kr.tuwien.ac.at
    Mirek Truszczynski - mirek@cs.uky.edu

*******************************************************************************
LPNMR'01, 6th International Conference on Logic Programming and 
Nonmonotonic Reasoning, Vienna, Austria, September 17--19, 2001
http://www.kr.tuwien.ac.at/lpnmr01/

LPNMR'01 is the sixth in the series of international meetings on
logic programming and nonmonotonic reasoning and will be collocated
with the Joint German/Austrian Conference on AI (KI 2001), which
will be held from September 19--21 2001 in Vienna.

*******************************************************************************