= 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 on [[BenchmarkSubmission]].

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

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




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:
  * Aug 30th, 2012 - Problem submission deadline.
 * Competition stage:
  * Mar 1st, 2013 - '''Model & Solve''' submission deadline.
  * Mar 1st, 2013 - '''System''' submission deadline.       


== Contacts ==
 * [[OrganizingCommittee|Organizing Committee]]
 * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].