welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 1 and 12 (spanning 11 versions)
⇤ ← Revision 1 as of 2012-05-07 16:00:46 →
Size: 1945
Editor: e208-236
Comment:
← Revision 12 as of 2012-05-10 10:54:12 → ⇥
Size: 1933
Editor: FrancescoCalimeri
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.

== 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		  * Call for Benchmarks available on [[BenchmarkSubmission]].
Line 33: Line 15:

<<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
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.

Contents

  1. Fourth (Open) Answer Set Programming Competition - 2013
    1. Current Status
    2. News and updates
    3. Detailed Information
    4. Important Dates
    5. Contacts

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

Fifth Answer Set Programming Competition (ASPCOMP 2014): FrontPage (last edited 2015-08-06 10:02:44 by FrancescoCalimeri)