welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 1 and 10 (spanning 9 versions)
⇤ ← Revision 1 as of 2012-05-07 16:00:46 →
Size: 1945
Editor: PatrikSchneider
Comment:
← Revision 10 as of 2012-05-09 06:51:30 → ⇥
Size: 1916
Editor: GiovambattistaIanni
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 == == Competition - Quick directions ==
Line 21: Line 21:
 * [[BenchmarkSubmission|Benchmark Submission procedure]]  * <<newicon>> [[BenchmarkSubmission|Benchmark Submission procedure]]
Line 26: Line 26:
   * [[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 29:
   * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition
   * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition
Line 41: Line 42:
~-
Line 43: Line 44:
  * 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 52:
 * 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. Competition - Quick directions
    3. Detailed Information
    4. News and updates
    5. Important Dates
    6. Contacts

Current Status

Competition - Quick directions

Detailed Information

News and updates

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

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)