welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 16 and 60 (spanning 44 versions)
⇤ ← Revision 16 as of 2012-05-11 09:46:49 →
Size: 2062
Editor: 160
Comment:
← Revision 60 as of 2014-02-06 15:52:53 → ⇥
Size: 1383
Editor: FrancescoCalimeri
Comment: update important dates
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Fourth (Open) Answer Set Programming Competition - 2013 = = Fifth Answer Set Programming Competition - 2014 =
Line 3: Line 4:
The Fourth Answer Set Programming Competition is an '''open''' event:
any system based on a declarative problem solving language '''can participate'''.		 The Fifth Answer Set Programming Competition will take place as one of the events within the [[http://vsl2014.at/olympics/|FLoC Olympic Games]], held in Vienna in the context of the [[http://vsl2014.at/|Vienna Summer of Logic 2014]]. The event is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014).
Line 9: Line 9:
== Current Status ==
 * Call for Benchmarks [[BenchmarkSubmission|available]].		 <<Anchor(schedule)>>
== Important Dates ==
'''NOTE''': Preliminary schedule, subject to further modification. Please check this site out often for news and updates.
 * March 1st, 2014: Participant registration opens
 * March 31st, 2014: The competition starts
 * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)

== Call for Participation ==
 * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]].
Line 13: Line 20:
 * May 11th, 2012 - Call for Benchmarks [[BenchmarkSubmission|available]].
 * May 7th, 2012 - Webpage started.

<<Anchor(detailed)>>
== Detailed Information ==
 * <<newicon>> [[BenchmarkSubmission|Benchmark Submission procedure]]
 * Competition Categories
  The competition features ''two distinct tracks'':
  * [[MSCompetition|Model & Solve Competition]]
  * [[SystemCompetition|System Competition]]
 * [[ParticipationRules|Detailed Scoring and Participation Rules]] (Coming, September 2012)
 * [[ParticipantSubmission|Participant Submission procedure]] (Coming, September 2012)
 * [[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


You might want to [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=subscribe|subscribe]] this page
for getting e-mail notifications about news (needs [[https://www.mat.unical.it/aspcomp2013/FrontPage?action=login|opening]] an user account).


<<Anchor(schedule)>>
== Important Dates ==

 * Problem selection stage:
  * Aug 30th, 2012 - Problem submission deadline.
 * Competition stage:
  * September 15th, 2012 - Call for participants.
  * Mar 1st, 2013 - '''Model & Solve''' submission deadline.
  * Mar 1st, 2013 - '''System''' submission deadline.
 * 03 February, 2014: '''Announcement''' - ASPCOMP 2014 is officially affiliated with the [[http://users.ugent.be/~tschrijv/ICLP2014/|30th International Conference on Logic Programming]] (ICLP 2014).
 * 03 February, 2014: Call for participation updated.
 * 13 January, 2014: Preliminary Call for Participation out.
Line 49: Line 25:
 * [[OrganizingCommittee|Organizing Committee]]
 * [[mailto:aspcomp2013_REPLACE_WITH_AT_kr.tuwien.ac.at|Contact the competition organizers]].		  * [[OrganizingCommittee|Organizing Committee and Contacts]]

Fifth Answer Set Programming Competition - 2014

The Fifth Answer Set Programming Competition will take place as one of the events within the FLoC Olympic Games, held in Vienna in the context of the Vienna Summer of Logic 2014. The event is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).

Contents

  1. Fifth Answer Set Programming Competition - 2014
    1. Important Dates
    2. Call for Participation
    3. News and updates
    4. Contacts

Important Dates

NOTE: Preliminary schedule, subject to further modification. Please check this site out often for news and updates.

  • March 1st, 2014: Participant registration opens
  • March 31st, 2014: The competition starts
  • July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)

Call for Participation

  • Please find the official Call for Participation here.

News and updates

  • 03 February, 2014: Announcement - ASPCOMP 2014 is officially affiliated with the 30th International Conference on Logic Programming (ICLP 2014).

  • 03 February, 2014: Call for participation updated.
  • 13 January, 2014: Preliminary Call for Participation out.

Contacts

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