|
Size: 1945
Comment:
|
Size: 952
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Fourth (Open) Answer Set Programming Competition - 2013 = | |
| Line 3: | Line 3: |
| The Third 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]]. |
| Line 6: | Line 5: |
= Fifth Answer Set Programming Competition - 2014 = |
|
| Line 9: | Line 11: |
| == Current Status == * Call for Benchmarks 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 22nd, 2014 : Awards are presented at FLoC |
| Line 12: | Line 18: |
| == Competition Stuff - Quick directions == <<Anchor(detailed)>> == Detailed Information == * Competition Categories * [[MSCompetition|Model & Solve Competition]] * [[SystemCompetition|System Competition]] * [[ParticipationRules|Scoring and Participation Rules]] * [[BenchmarkSubmission|Benchmark Submission procedure]] * [[ParticipantSubmission|Participant Submission procedure]] * [[NewsUpdates|News and Updates]] * [[ToolsUtilities|Tools and Utilities]] * Former competitions: * [[http://asparagus.cs.uni-potsdam.de/contest/|First]] ASP Competition * [[http://dtai.cs.kuleuven.be/events/ASP-competition/index.shtml|Second]] ASP Competition * [[https://www.mat.unical.it/aspcomp2011|Third]] ASP Competition |
== Call for Participation == * Please find the official Call for Participation [[attachment:aspcomp2014-cfp.txt|here]]. |
| Line 31: | Line 22: |
| * May 07, 2012 - Call for Benchmarks available. * May 07, 2012 - Webpage started. 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: * 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 -~ |
* January 2014. Preliminary Call for Participation out. |
| Line 51: | Line 25: |
| * [[OrganizingCommittee|Organizing Committee]] * Contact the Organizing Committee [[mailto:aspcomp2013oc_REPLACE_WITH_AT_kr.tuwien.ac.at |here]]. |
* [[OrganizingCommittee|Organizing Committee and Contacts]] |
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.
Fifth Answer Set Programming Competition - 2014
Contents
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 22nd, 2014 : Awards are presented at FLoC
Call for Participation
Please find the official Call for Participation here.
News and updates
- January 2014. Preliminary Call for Participation out.