welcome: please sign in
location: Diff for "FrontPage"
Differences between revisions 65 and 66
Revision 65 as of 2014-02-21 08:49:38
Size: 2661
Comment:
Revision 66 as of 2014-02-21 09:18:11
Size: 2695
Comment:
Deletions are marked like this. Additions are marked like this.
Line 20: Line 20:
 * 20 February, 2014: Application procedure publicly available, registration opens March 1st, 2014.  * 20 February, 2014: Application directions now available, registration opens March 1st, 2014.
Line 35: Line 35:
You will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh. Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh.
Line 37: Line 37:
The competition will be run on a Debian Linux server with Intel Xeon Processors and 64bit kernel. The competition will run on a Debian Linux server with Intel Xeon Processors and 64bit kernel.
Line 39: Line 39:
Detailed submission instructions, competition rules, hardware and software settings will be published soon. Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently.

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

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

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