FINAL CALL FOR SUBMISSIONS

The First Answer Set Programming System Competition

FINAL REGISTRATION DEADLINE: Dec. 20, 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.

We invite submissions of answer set programming solvers to 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.

Since there is NOT MUCH TIME LEFT, if you would like to participate or make suggestions, you need to CONTACT the organizers at asparagus@cs.uni-potsdam.de AS SOON AS POSSIBLE!

Important dates:
December 20, 2006 deadline for registering for the ASP competition

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

ASP Competition Team Leaders:
Torsten Schaub (torsten@cs.uni-potsdam.de)
Mirek Truszczynski (mirek@cs.uky.edu)