= Fifth Answer Set Programming Competition (ASPCOMP 2014) =

{{{#!wiki caution
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).
}}}

<<TableOfContents>>

<<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]].

== News and updates ==
 * 20 February, 2014: Application directions now 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.

== Application Procedure ==
Participants willing to apply for the competition can send an email (starting from March 1st, 2014) 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.
 * language support: e.g. my submission supports normal logic programs and aggregates, it does not support weak constraints and function symbols... and so on.

Applicants 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 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. Pease check this page frequently.

== Contacts ==
 * [[OrganizingCommittee|Organizing Committee and Contacts]]