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

                         CALL FOR PAPERS
                            TAASP 2020
    Workshop on Trends and Applications of Answer Set Programming
                       November 23-24, 2020
            http://www.kr.tuwien.ac.at/events/taasp20/

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

AIMS AND SCOPE
 Answer set programming (ASP) is a widely used declarative programming
 paradigm based on the stable-model semantics. Over the years, the
 formalism has been extended with new language elements, advanced
 evaluation techniques have been developed, and efficient and
 expressive systems have been realized. These advancements turned ASP
 into a rich modeling language that was successfully applied to
 various tasks in artificial intelligence and beyond, including
 combinatorial problems and knowledge-intense tasks. Driven by the
 needs of applications, ongoing research in the field comprises, for
 instance, the integration with other paradigms (such as constraint
 programming), distributed computation, temporal and stream reasoning.
 These developments aim at the ultimate goal of equipping ASP with the
 features needed for realizing modern information systems. This
 workshop focuses on recent trends in the area of ASP, including novel
 techniques for the evaluation of ASP programs, extensions of the
 formalism, integration with other formalisms, advancements of
 systems, and benchmark suites.  Furthermore, discussions of
 applications of ASP and its extensions in AI and industry are
 welcome.

SUBMISSIONS
 We welcome two categories of submissions:

 - full papers presenting original research (at most 15 pages plus
   references and optional appendix), and
 - extended abstracts of already published or preliminary research
   (at most 2 pages plus references and optional appendix).

 All submissions should be in the Springer LNCS format:

     https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

 Paper submission will be handled electronically by means of the
 Easychair system. All submissions will be peer-reviewed.
 The submission page is available here:

     https://easychair.org/conferences/?conf=taasp2020

IMPORTANT DATES
 Paper submission deadline:            October 5, 2020
 Author notification:                  October 26, 2020
 Camera-ready articles due:            November 9, 2020
 Workshop:                             November 23-24, 2020

LOCATION
 The workshop will be held at the University of Klagenfurt, Austria.

PROCEEDINGS
 TAASP is a non-archival venue and there will be no published
 proceedings. However, informal proceedings will be provided and the
 papers will be posted informally on the workshop website. Therefore,
 it will be possible to submit to other conferences and journals both
 in parallel and subsequent to TAASP 2020.

PROGRAM COMMITTEE
 Mohammed El-Kholany, Alpen-Adria-Universitaet Klagenfurt, Austria
 Jorge Fandinno, Universitaet Potsdam, Germany
 Markus Hecher, Technische Universitaet Wien, Austria
 Philipp Obermeier, Universitaet Potsdam, Germany
 Johannes Oetsch, Technische Universitaet Wien, Austria
 Paul Ogris, Alpen-Adria-Universitaet Klagenfurt, Austria
 Javier Romero, Universitaet Potsdam, Germany
 Peter Schueller, Technische Universitaet Wien, Austria
 Alice Tarzariol, Alpen-Adria-Universitaet Klagenfurt, Austria
 Pierre Tassel, Alpen-Adria-Universitaet Klagenfurt, Austria
 Philipp Wanko, Universitaet Potsdam, Germany
 Antonius Weinzierl, Technische Universitaet Wien, Austria

ORGANIZATION COMMITTEE
 Martin Gebser, Alpen-Adria-Universitaet Klagenfurt, Austria
 Francois Laferriere, Universitaet Potsdam, Germany
 Zeynep Saribatur, Technische Universitaet Wien, Austria

CONTACT
 Workshop page: http://www.kr.tuwien.ac.at/events/taasp20/
 Submission page: https://easychair.org/conferences/?conf=taasp2020
 Email address: taasp2020(at)easychair.org