Application procedure


Participants willing to apply for the competition can send an email (starting from May 1st, 2015) to This email address is being protected from spambots. You need JavaScript enabled to view it. 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;
  • language support: e.g. <<our submission supports normal logic programs and aggregates, it does not support weak constraints and function symbol>>, or so, etc
  • specific software requirements: e.g. linux packages/libraries needed to run your system.


Applicants will get a private e-mail with the instructions for submitting systems and login credentials for accessing our Competition server through ssh


You are here: Home Application Procedure