welcome: please sign in

Revision 67 as of 2014-02-24 09:40:33

Clear message
location: FrontPage

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.

Call for Participation

News and updates

Application Procedure

Participants willing to apply for the competition can send an email (starting from March 1st, 2014) to this address specifying:

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 (64bit kernel) running on Intel Xeon X5365 Processors with 4096KB of cache and 16GB of RAM. (please note that 16GB is the total amount of memory available in the hardware but it is not the memory limit used for the competition)

Detailed submission instructions, competition rules, hardware and software settings will be published soon. Pease check this page frequently.

Contacts