welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 3 and 6 (spanning 3 versions)
⇤ ← Revision 3 as of 2012-05-07 16:04:00 →
Size: 1940
Editor: e208-236
Comment: First Version
← Revision 6 as of 2012-05-07 18:56:48 → ⇥
Size: 1875
Editor: 188-23-95-39
Comment: Fixing email addresses
Deletions are marked like this. Additions are marked like this.
Line 12: Line 12:
== Competition Stuff - Quick directions == == Competition - Quick directions ==
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 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 51: 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

  • Call for Benchmarks available.

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

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