welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 1 and 11 (spanning 10 versions)
Revision 1 as of 2012-05-07 16:00:46
Size: 1945
Comment:
Revision 11 as of 2012-05-10 06:59:44
Size: 1933
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
The Third Answer Set Programming Competition is an '''open''' event: The Fourth Answer Set Programming Competition is an '''open''' event:
Line 10: Line 10:
 * Call for Benchmarks available.  *  Call for Benchmarks available on [[BenchmarkSubmission]].
Line 12: Line 12:
== Competition Stuff - Quick directions ==
== News and updates ==
 * May 07, 2012 - Call for Benchmarks available.
 * May 07, 2012 - Webpage started.
Line 18: Line 19:
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Scoring and Participation Rules]]
 * [[BenchmarkSubmission|Benchmark Submission procedure]]
 * [[ParticipantSubmission|Participant Submission procedure]]
  * [[MSCompetition|Model & Solve Competition]] (Forthcoming)
  * [[SystemCompetition|System Competition]] (Forthcoming)
 * [[ParticipationRules|Scoring and Participation Rules]] (Forthcoming)
 * <<newicon>> [[BenchmarkSubmission|Benchmark Submission procedure]] 
 * [[ParticipantSubmission|Participant Submission procedure]] (Forthcoming)
Line 26: Line 27:
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
Line 27: Line 30:
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
Line 30: Line 31:
== News and updates ==
 * May 07, 2012 - Call for Benchmarks available.
 * May 07, 2012 - Webpage started.
Line 41: Line 40:
~-
Line 43: Line 42:
  * 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
-~
  * Aug 30th, 2012 - Problem submission deadline.
 * Competition stage:
  * Mar 1st, 2013 - '''Model & Solve''' submission deadline.
  * Mar 1st, 2013 - '''System''' submission deadline.
Line 52: Line 50:
 * Contact the Organizing Committee [[mailto:aspcomp2013oc_REPLACE_WITH_AT_kr.tuwien.ac.at |here]].  * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].

Fourth (Open) Answer Set Programming Competition - 2013

The Fourth Answer Set Programming Competition is an open event: any system based on a declarative problem solving language can participate.

Current Status

News and updates

  • May 07, 2012 - Call for Benchmarks available.
  • May 07, 2012 - Webpage started.

Detailed Information

You might want to subscribe this page for getting e-mail notifications about news (needs opening an user account).

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

ASP Competition 2013: FrontPage (last edited 2013-10-08 13:28:25 by GiovambattistaIanni)