= Fourth (Open) Answer Set Programming Competition - 2013 =
{{{#!wiki caution
The Fourth Answer Set Programming Competition is an '''open''' event: 
any system based on a declarative problem solving language '''can participate'''.
}}}

<<TableOfContents>>

== Current Status ==
 * Call for Benchmarks available.

== Competition Stuff - Quick directions ==


<<Anchor(detailed)>>
== Detailed Information ==
 * Competition Categories
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Scoring and Participation Rules]]
 * [[BenchmarkSubmission|Benchmark Submission procedure]]
 * [[ParticipantSubmission|Participant Submission procedure]]
 * [[NewsUpdates|News and Updates]]
 * [[ToolsUtilities|Tools and Utilities]]
 * Former competitions:
   * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition

== News and updates ==
 * May 07, 2012 - Call for Benchmarks available.
 * May 07, 2012 - Webpage started.


You might want to [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=subscribe|subscribe]] this page
for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=login|opening]] an user account).


<<Anchor(schedule)>>
== Important Dates ==
~-
 * Problem selection stage:
  * In 2012  - Deadline for problem submission
  * In 2013 - Publication of temporary list of selected benchmarks
  * In 2013 - Submission of accepted benchmarks in finalized version
  * In 2013 - Publication of the final list of selected problems
-~


== Contacts ==
 * [[OrganizingCommittee|Organizing Committee]]
 * Contact the Organizing Committee [[mailto:aspcomp2013oc_REPLACE_WITH_AT_kr.tuwien.ac.at |here]].