|» ASP Solver Competition|
FINAL CALL FOR SUBMISSIONS
The First Answer Set Programming System Competition
FINAL REGISTRATION DEADLINE: Dec. 20, 2006The 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 firstname.lastname@example.org AS SOON AS POSSIBLE!
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 (email@example.com)
Mirek Truszczynski (firstname.lastname@example.org)
|Last Updated ( Tuesday, 16 January 2007 )|