<div dir="ltr"><div style="font-size:12.8px">[Apologies for multiple postings.]    </div><div style="font-size:12.8px">    </div><div style="font-size:12.8px">    </div><div style="font-size:12.8px">=============================================================================== </div><div style="font-size:12.8px">                         FIRST CALL FOR PAPERS    </div><div style="font-size:12.8px">                                 ASPOCP 2016    </div><div style="font-size:12.8px">     9th Workshop on Answer Set Programming and Other Computing Paradigms       </div><div style="font-size:12.8px">                    <a href="https://sites.google.com/site/aspocp2016" target="_blank">https://sites.google.com/site/aspocp2016</a>                           </div><div style="font-size:12.8px">                   October 16 or 17, 2016 (preliminary dates)                          </div><div style="font-size:12.8px">    </div><div style="font-size:12.8px">    Affiliated with the 32nd International Conference on Logic Programming      </div><div style="font-size:12.8px">                              Now York City, USA                                       </div><div style="font-size:12.8px">                            October 17 - 21, 2016                                       </div><div style="font-size:12.8px">=============================================================================== </div><div style="font-size:12.8px">                                    </div><div style="font-size:12.8px">AIMS AND SCOPE</div><div style="font-size:12.8px">                  </div><div style="font-size:12.8px"> Since its introduction in the late 1980s, Answer Set Programming (ASP)         </div><div style="font-size:12.8px"> has been widely applied to various knowledge-intensive tasks and                </div><div style="font-size:12.8px"> combinatorial search problems. ASP was found to be closely related to          </div><div style="font-size:12.8px"> SAT, which led to a new method of computing answer sets using SAT    </div><div style="font-size:12.8px">solvers and techniques adapted from SAT. This has been a much                  </div><div style="font-size:12.8px"> studied relationship, and is currently extended towards                        </div><div style="font-size:12.8px"> satisfiability modulo theories (SMT). The relationship of ASP to other         </div><div style="font-size:12.8px"> computing paradigms, such as constraint satisfaction, quantified               </div><div style="font-size:12.8px"> Boolean formulas (QBF), Constraint Logic Programming (CLP),                    </div><div style="font-size:12.8px"> first-order logic (FOL), and FO(ID) is also the subject of active              </div><div style="font-size:12.8px"> research. Consequently, new methods of computing answer sets are being         </div><div style="font-size:12.8px"> developed based on relationships to these formalisms.                      </div><div style="font-size:12.8px">                                                    </div><div style="font-size:12.8px"> Furthermore, the practical applications of ASP also foster work on             </div><div style="font-size:12.8px"> multi-paradigm problem-solving, and in particular language and solver          </div><div style="font-size:12.8px"> integration. The most prominent examples in this area currently are            </div><div style="font-size:12.8px"> the integration of ASP with description logics (in the realm of the            </div><div style="font-size:12.8px"> Semantic Web) and constraint satisfaction (which recently led to               </div><div style="font-size:12.8px"> the Constraint Answer Set Programming (CASP) research direction).           </div><div style="font-size:12.8px">                                                    </div><div style="font-size:12.8px"> A large body of general results regarding ASP is available and                </div><div style="font-size:12.8px"> several efficient ASP solvers have been implemented. However, there            </div><div style="font-size:12.8px"> are still significant challenges in applying ASP to real life                  </div><div style="font-size:12.8px"> applications, and more interest in relating ASP to other computing             </div><div style="font-size:12.8px"> paradigms is emerging. This workshop will provide opportunities for            </div><div style="font-size:12.8px"> researchers to identify these challenges and to exchange ideas for             </div><div style="font-size:12.8px"> overcoming them.                                   </div><div style="font-size:12.8px">                                                    </div><div style="font-size:12.8px">TOPICS                                              </div><div style="font-size:12.8px"> Topics of interests include (but are not limited to):                          </div><div style="font-size:12.8px"> - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).                     </div><div style="font-size:12.8px"> - ASP and constraint programming.                  </div><div style="font-size:12.8px"> - ASP and other logic programming paradigms, e.g., FO(ID).                     </div><div style="font-size:12.8px"> - ASP and other nonmonotonic languages, e.g., action languages.                </div><div style="font-size:12.8px"> - ASP and external means of computation.           </div><div style="font-size:12.8px"> - ASP and probabilistic reasoning.                 </div><div style="font-size:12.8px"> - ASP and knowledge compilation.                   </div><div style="font-size:12.8px"> - ASP and machine learning.                        </div><div style="font-size:12.8px"> - New methods of computing answer sets using algorithms or systems of          </div><div style="font-size:12.8px">   other paradigms.                                 </div><div style="font-size:12.8px"> - Language extensions to ASP.                      </div><div style="font-size:12.8px"> - ASP and multi-agent systems.                     </div><div style="font-size:12.8px"> - ASP and multi-context systems.                   </div><div style="font-size:12.8px"> - Modularity and ASP.                              </div><div style="font-size:12.8px"> - ASP and argumentation.                           </div><div style="font-size:12.8px"> - Multi-paradigm problem solving involving ASP.  </div><div style="font-size:12.8px"><div>- Evaluation and comparison of ASP to other paradigms.                        </div><div> - ASP and related paradigms in applications.       </div><div> - Hybridizing ASP with procedural approaches.      </div><div> - Enhanced grounding or beyond grounding.          </div><div>                                                    </div><div>                                                    </div><div>SUBMISSIONS                                         </div><div> Papers must describe original research and should not exceed 15 pages          </div><div> in the Springer LNCS format <URL:<a href="http://www.springeronline.com/lncs/" target="_blank">http://www.springeronline.com/lncs/</a>>.         </div><div> Paper submission will be handled electronically by means of the                </div><div> Easychair system. The submission page is available at                          </div><div> <a href="https://easychair.org/conferences/?conf=aspocp2016" target="_blank">https://easychair.org/conferences/?conf=aspocp2016</a> </div><div>                                                    </div><div>                                                    </div><div>IMPORTANT DATES                                     </div><div> Abstract and paper submission deadline: June 27, 2016                     </div><div> Notification:  July 30, 2016                     </div><div> Camera-ready articles due: August 31, 2016                   </div><div> Workshop: October 16 or 17, 2016 (TBA)      </div><div>                                                    </div><div>                                                    </div><div>PROCEEDINGS                                         </div><div>                                                    </div><div> Accepted papers will be made available online.   </div><div><br></div><div>PROCEEDINGS                                        </div><div>                                                   </div><div> Accepted papers will be made available online.    </div><div>                                                   </div><div>LOCATION                                           </div><div> The workshop will be held in New York, collocated with                         </div><div> the International Conference on Logic Programming (ICLP) 2016.                 </div><div>                                                   </div><div>                                                   </div><div>WORKSHOP CO-CHAIRS                                 </div><div> Bart Bogaerts, Aalto University, Finland          </div><div> Amelia Harrison, University of Texas at Austin, USA                            </div><div>                                                   </div><div>                                                   </div><div>PROGRAM COMMITTEE (to be completed)                </div><div> Rehan Abdul Aziz, University of Melbourne and National ICT Australia (NICTA)   </div><div> Marcello Balduccini, Drexel University            </div><div> Bart Bogaerts (chair), Department of Computer Science  Aalto University        </div><div> Gerhard Brewka, Leipzig University                </div><div> Pedro Cabalar, University of Corunna              </div><div> Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica  Univ. dell'Aquila </div><div> Esra Erdem, Sabanci University                    </div><div> Wolfgang Faber, University of Huddersfield        </div><div> Cristina Feier, University of Bremen              </div><div> Johannes Klaus Fichte, Institute of Information Systems  Vienna University of Technology </div><div> Enrico Giunchiglia, DIST - Univ. Genova           </div><div>Amelia Harrison (chair), University of Texas      </div><div> Daniela Inclezan, Miami University                </div><div> Tomi Janhunen, Aalto University                   </div><div> Joohyung Lee, Arizona State University            </div><div> Nicola Leone, Department of Mathematics and Computer Science - University of Calabria </div><div> Vladimir Lifschitz, University of Texas           </div><div> Marco Maratea, DIBRIS University of Genova        </div><div> Alessandro Mosca, SIRIS Lab - Research division of SIRIS Academic SL           </div><div> Guillermo Simari, Dept. of Computer Science and Engineering  Universidad Nacional del Sur in Bahia Blanca </div><div> Mirek Truszczynski, Computer Science Department  University of Kentucky        </div><div> Richard Watson, Texas Tech University  Department of Computer Science          </div><div> Stefan Woltran, TU Wien                           </div><div> Fangkai Yang, Schlumberger Limited                </div><div> Jia-Huai You, Department of Computing Science  University of Alberta Edmonton  Alberta  Canada     </div></div></div>