Differences between revisions 41 and 45 (spanning 4 versions)

Third Answer Set Programming Competition - 2011

The Third Answer Set Programming Competition is now open and in the Call for benchmarks stage.

Important dates can be found here. Find the Call for Participation here.

News and updates

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

Problem selection stage:
- December 25th, 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:
- February 4th, 2011 - Deadline for Systems submission
- February 5-25th, 2011 - Competition stage
- May 16th 2011 - Announcement of results and awards at LPNMR 2011 - Vancouver, BC, Canada.

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

-  ⇤ ← Revision 41 as of 2010-11-30 15:53:39 → 
  Size: 2313
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 45 as of 2010-12-07 00:37:01 → ⇥
  Size: 2661
  Editor: FrancescoCalimeri
  Comment: update language specification file.
-Deletions are marked like this.
+Additions are marked like this.
 Line 12:
- * <<newicon>> Released a few encoding [[EncodingsExamples|examples]] written in ASP-Core and ASP-RfC.

You might want to [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=SubscribeUser|subscribe]] this page
+ * <<newicon>> December 6th, 2010. Added a few clarifications to [[ParticipationRules|Participation rules]].
 * December 1st, 2010. The participant submission [[ParticipantSubmission|procedure]] is now available. 
 * Released a few encoding [[EncodingsExamples|examples]] written in ASP-Core and ASP-RfC.
 
You might want to [[https://www.mat.unical.it/aspcomp2011/FrontPage?action=subscribe|subscribe]] this page
-Line 25:
+Line 27:
-   * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|File and language format specifications]]
+   * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications.pdf|File and language format specifications]] (v. 1.01)
     * [[http://www.mat.unical.it/aspcomp2011/files/LanguageSpecifications-1.00.pdf|File and language format specifications]] (v. 1.00)