The Seventh Answer Set Programming Competition (ASPCOMP 2017) will be run in 2017, jointly at Aalto University (Finland), University of Calabria (Italy), and University of Genoa (Italy). The event is affiliated with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017), where the results will be announced.

 

The co-chairs of the event are

  • Martin Gebser, Potsdam University (Germany)
  • Marco Maratea, University of Genoa (Italy)
  • Francesco Ricca, University of Calabria (Italy)

 

and can contacted by sending an email to Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.  .

 

The design of the ASPCOMP 2017 is summarized in the LPNMR 2017 report.