welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 113 and 114
Revision 113 as of 2011-05-22 11:05:12
Size: 7717
Comment: remove obsolete new icons
Revision 114 as of 2011-05-22 11:06:31
Size: 7701
Comment:
Deletions are marked like this. Additions are marked like this.
Line 9: Line 9:
 * <<newicon>> Results (announced at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada) are available. And the winner is... well, have a look at the : [[http://goo.gl/ea77z|System Track Official Results]] -- [[http://goo.gl/l3G6i|Model & Solve Track Official Results]]. Complete [[http://goo.gl/4XXFz|list of participants]] is available as well.   * <<newicon>> Results (announced at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada) are available. And the winner is... well, have a look at the : [[http://goo.gl/ea77z|System Track Official Results]] -- [[http://goo.gl/l3G6i|Model & Solve Track Official Results]]. Complete [[http://goo.gl/4XXFz|list of participants]] is available as well.
Line 14: Line 14:
== Official Results ==
  * [[http://goo.gl/ea77z|System Track Official Results]]
  * [[http://goo.gl/l3G6i|Model & Solve Track Official Results]].
Line 15: Line 19:
 * Competition Results:
   * [[http://goo.gl/ea77z|System Track Official Results]]
   * [[http://goo.gl/l3G6i|Model & Solve Track Official Results]].
Line 22: Line 23:
   * [[#schedule|Important Dates]]. 
   * [[CallforParticipation|Call for participation]]. 
   * [[#schedule|Important Dates]].
   * [[CallforParticipation|Call for participation]].
Line 25: Line 26:
 
Line 37: Line 38:
 * Winner of the Beyond NP category (more-than-NP-Hard problems)   * Winner of the Beyond NP category (more-than-NP-Hard problems)
Line 43: Line 44:
 * Winner of the Beyond NP category (more-than-NP-Hard problems)   * Winner of the Beyond NP category (more-than-NP-Hard problems)
Line 78: Line 79:
 
Line 86: Line 87:
 * Problem selection stage:   * Problem selection stage:
Line 88: Line 89:
  * January 3th, 2011 - Publication of temporary list of selected benchmarks    * January 3th, 2011 - Publication of temporary list of selected benchmarks
Line 98: Line 99:
  * February 26th, 2011 - Start of the unmanned official competition run of the System Track.     * February 26th, 2011 - Start of the unmanned official competition run of the System Track.
Line 102: Line 103:
  * May 16th 2011 - Announcement of results and awards at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada.    * May 16th 2011 - Announcement of results and awards at [[https://sites.google.com/site/lpnmr11/ |LPNMR 2011]] - Vancouver, BC, Canada.
Line 111: Line 112:
 * Contact the Organizing Committee [[mailto:aspcomp2011_REPLACE_WITH_AT_mat.unical.it |here]].   * Contact the Organizing Committee [[mailto:aspcomp2011_REPLACE_WITH_AT_mat.unical.it |here]].

Third (Open) Answer Set Programming Competition - 2011

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

Current Status

Official Results

Quick directions

Awards

The 3rd ASP competition is divided into two main sub-tracks (System Track and Model & Solve Track) and awards:

  • The winner of the System Track
  • The winner of the Model & Solve Track

In both competition tracks, winners in the respective subcategories are awarded:

Model & Solve Track

  • Winner of the P category (polynomial problems)
  • Winner of the NP category (NP-Hard problems)
  • Winner of the Beyond NP category (more-than-NP-Hard problems)
  • Optimization (Optimization problems)

System Track

  • Winner of the P category (polynomial problems)
  • Winner of the NP category (NP-Hard problems)
  • Winner of the Beyond NP category (more-than-NP-Hard problems)

Detailed Information

News and updates

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

Important Dates

  • Problem selection stage:
    • December 31th, 2010 - Deadline for problem submission
    • January 3th, 2011 - Publication of temporary list of selected benchmarks
    • January 4-10th, 2011 - Submission of accepted benchmarks in finalized version
    • January 10th, 2011 - Publication of the final list of selected problems

  • Competition stage schedule:
    • February 18th, 2011 - System Track Dry Run start. THIS IS NOT THE FINAL DEADLINE (See notes below).

    • February 25th, 2011, 23:59 Pacific Standard Time - Final deadline for Competitors Submission to System Competition Track.

    • February 26th, 2011 - Start of the unmanned official competition run of the System Track.
    • March 08th, 2011 - Model & Solve Dry Run start. THIS IS NOT THE FINAL DEADLINE (See notes below).

    • March 28th, 2011, 23:59 Pacific Standard Time - Final deadline for Competitors Submission to Model & Solve Competition Track.

    • March 29th, 2011 - Start of the unmanned official competition run of the Model & Solve Track.

    • May 16th 2011 - Announcement of results and awards at LPNMR 2011 - Vancouver, BC, Canada.

  • NOTES on Dry Runs - Systems already submitted and set up by the date of a Dry Run deadline will be automatically tested on official instances featured by the related track (System/Model&Solve). Any problem on the dry run will be privately reported to competitors. Competitors submissions to related track will be not closed until the given final deadline of the track; systems not submitted within the Dry Run deadline will simply not undergo the dry run itself.

Contacts

ASP Competition 2011: FrontPage (last edited 2012-06-22 07:45:46 by GiovambattistaIanni)