Fifth Answer Set Programming Competition (ASPCOMP 2014)

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

• Organizing Committee and Contacts