Participants willing to apply for the competition can send an email (starting from March 1st, 2017) to Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo. 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