40th Workshop on (Constraint and Functional) Logic Programming (WLP 2026)

Workshop at INFORMATIK 2026

September 23, 2026 in Dresden, Deutschland)


Call for Papers WLP 2026


General

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 programming, especially logic, constraint logic and functional logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design, implementation, and application of (constraint or functional) logic-based systems. Declarative approaches - especially in combination with other AI technologies and disruptive non-AI technologies - have an increasing relevance for digitalization projects in many sectors.

The technical program of the workshop will include presentations of refereed papers and system demonstrations.

Previous WLP editions: WLP 2025 (Évora, Portugal), WLP 2024 (Würzburg, Germany), WLP 2023 (Berlin, Germany), WLP 2022 (Trier, Germany), WLP 2021 (Berlin, Germany), WLP 2020 (Bamberg, Germany), WLP 2019 (Cottbus, Germany), WLP 2018 (Berlin, Germany), WLP 2017 (Würzburg, Germany), WLP 2016 (Leipzig, Germany), 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)


Important Dates


Topics

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):

Logic Programming and Extensions

Knowledge Representation and Nonmonotonic Reasoning

Application of Logic Programming

Implementation of Systems


Program Committee (to be confirmed)

Submission Details

Authors are invited to submit papers in the following categories:

via the ConfTool submission website for WLP 2026.

Submissions must be in LaTeX format using LNI style.

Papers must describe original work, be written and presented in English or German, 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.

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.


Proceedings

All accepted papers will be published in the proceedings of INFORMATIK 2026 (https://informatik2026.gi.de/).


Registration, Travel

Detailed information: INFORMATIK 2026


Sibylle Schwarz | HTWK Leipzig