[SMT-LIB] ASPCOMP 2015: First Call for Participation.

[Marco Maratea]

[apologies for any cross-posting]


========================================================================

               6th Answer Set Programming Competition 2015
                            (ASPCOMP 2015)

		      Call for Participant Systems

  Aalto University and University of Calabria and University of Genoa


 == Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: Systems submission 

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015

========================================================================

Answer Set Programming is a well-established paradigm of declarative
programming with close relationship to other declarative modelling
paradigms and languages, such as SAT Modulo Theories, Constraint
Handling Rules, FO(.), PDDL, CASC, and many others.

The ASP Competition is a biannual event (other than for the 5th event
held by invitation in 2014 at the Vienna Summer of Logic) for
evaluating declarative knowledge representation systems on hard and
demanding AI problems. The 6th ASP Competition will be run in 2015,
jointly at Aalto University (Finland), University of Calabria (Italy),
and University of Genoa (Italy). The event is affiliated with the
13th International Conference on Logic Programming and Non-Monotonic
Reasoning (LPNMR 2015), where the results will be announced. The event
is the sequel to the ASP Competition series, held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University
of Technology (Austria) in 2013.


The 6th ASP Competition is now in the Call for Participant Systems
stage.


== Call for Participant Systems ==

Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications. These
include, but are not limited to:

 * Classic and application-oriented graph problems
 * Scheduling, Timetabling, and other resource allocation problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization problems
 * Deductive Database tasks on large data-sets
 * Puzzles and Combinatorics
 * Ontology reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features.  Our aim is to clearly indicate what (combinations of)
techniques work for particular problem features, and also widening the
participation to systems that may not (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track.


== Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: System submission deadline

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015


For further information and submission instructions please contact
us (Martin Gebser, Marco Maratea, and Francesco Ricca) by email:

aspcomp2015 at dibris.unige.it