Second Call for Submissions (ASP System Competition)

[Liu Lengning]

              SECOND CALL FOR SUBMISSIONS
The First Answer Set Programming System Competition

        TRIAL-RUN DEADLINE EXTENSION: October 23, 2006

The First Answer Set Programming System Competition will be held 
in conjunction with the Ninth International Conference on Logic 
Programming and Nonmonotonic Reasoning (LPNMR 2007).

The goals for the competition are to advance the state-of-the-art 
of answer set programming solvers and to develop better understanding 
of answer set programming methodology.

The competition will run in two phases. The first, trial phase, 
is meant to help the organizers to fine tune the rules of the 
competition, select the benchmarks for the competition, offer 
feedback to participants on the performance of their solvers and, 
finally, eliminate bugs (if any) in the system on which the 
competition will be run.

The actual competition will constitute the second phase. It is not 
necessary to participate in the trial phase in order to participate 
in the competition.

We invite submissions of answer set programming solvers to the
competition. We also invite submissions of challenging benchmark 
problems and instances for use in the competition. The detailed rules 
can be found at the competition web site 
<http://asparagus.cs.uni-potsdam.de/contest> (also available 
from the LPNMR 2007 site <http://lpnmr2007.googlepages.com>.

Important dates:

October 23, 2006	deadline for the trial run submissions
November 11, 2006	feedback from dry run sent to participants 
November 27, 2006	deadline for submission to the actual competition

The results of the competition will be announced and discussed at the 
LPNMR 2007 conference.