|
Size: 2086
Comment:
|
Size: 2469
Comment:
|
| 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 (ASPCOMP 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 (ASPCOMP 2014) 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. |
* 20 February, 2014: Application procedure publicly available, registration opens March 1st, 2014. * 11 February, 2014: Call for Participation updated. Please check it out! * 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 16: | Line 26: |
| <<Anchor(detailed)>> == Detailed Information == * <<newicon>> [[BenchmarkSubmission|Call for benchmarks and 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 |
== Application Procedure == Participants willing to apply for the competition can send an email to this [[mailto:aspcomp2014@mat.unical.it|address]] specifying: * the name of their team; * names and affiliation of the team members (institution, research group); * name and number of the systems the team will submit; * please indicate whether a system is an updated version of a solution submitted to the 2013 edition; * specific software requirements: e.g. linux packages/libraries needed to run your system. |
| Line 32: | Line 34: |
| You will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh. | |
| Line 33: | Line 36: |
| 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). |
The competition will be run on a Debian Linux server with Intel Xeon Processors and 64bit kernel. |
| Line 36: | Line 38: |
<<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. |
Detailed submission instructions, competition rules, hardware and software settings will be published soon. |
| Line 49: | Line 41: |
| * [[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 (ASPCOMP 2014)
The Fifth Answer Set Programming Competition (ASPCOMP 2014) 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
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
- 20 February, 2014: Application procedure publicly available, registration opens March 1st, 2014.
- 11 February, 2014: Call for Participation updated. Please check it out!
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.
Application Procedure
Participants willing to apply for the competition can send an email to this address specifying:
- the name of their team;
- names and affiliation of the team members (institution, research group);
- name and number of the systems the team will submit;
- please indicate whether a system is an updated version of a solution submitted to the 2013 edition;
- specific software requirements: e.g. linux packages/libraries needed to run your system.
You will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
The competition will be run on a Debian Linux server with Intel Xeon Processors and 64bit kernel.
Detailed submission instructions, competition rules, hardware and software settings will be published soon.