part of the Leipzig Week of Declarative Programming (L-DEC) 2016
September 12 - 13, 2016, at Faculty IMN at HTWK Leipzig, Germany.
The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).
The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.
The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.
Previous WLP editions: WLP 2015 (Dresden, Germany), WLP 2014 (Lutherstadt Wittenberg, Germany), WLP 2013 (Kiel, Germany), WLP 2012 (Bonn, Germany), WLP 2011 (Vienna, Austria), WLP 2010 (Cairo, Egypt), WLP 2009 (Potsdam, Germany), WLP 2008 (Dresden, Germany), WLP 2007 (Würzburg, Germany), WLP 2006 (Vienna, Austria), WLP 2005 (Ulm, Germany), WLP 2004 (Potsdam, Germany), WLP 2002 (Dresden, Germany), WLP 2001 (Kiel, Germany), WLP 2000 (Berlin, Germany), WLP 1999 (Würzburg, Germany), WLP 1998 (Vienna, Austria), WLP 1997 (Munich, Germany), WLP 1995 (Vienna, Austria)
Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas (the order does not reflect any priorities):
Authors are invited to submit papers in the following categories:
via the EasyChair submission website for WLP 2016.
Submissions must be in LaTeX format using EPTCS style
Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).
Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant.
Electronic versions of accepted papers will be made available before the workshop. The formal proceedings will be published in EPTCS, jointly with WFLP 2016. Regular research submissions and system descriptions can be directly accepted for publication in the formal proceedings, or initially accepted only for presentation at the workshop and invited to be revised for another round of reviewing before the formal proceedings are finalized. Accepted work-in-progress reports will also be invited to be revised and/or extended, targeting the formal proceedings as well.