Call for submissions: the first ASP system competition

[Liu Lengning]

               CALL FOR SUBMISSIONS
The First Answer Set Programming System Competition

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>.

Lead Organizers: Torsten Schaub (torsten at cs.uni-potsdam.de)
                  Mirek Truszczynski (mirek at cs.uky.edu)

Important dates:

October 16, 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.