WLP @ KI2023 in Berlin

Workshop on (Constraint and Functional) Logic Programming

The WLP provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.

Contributions are welcome on all theoretical, experimental, and application aspects of logic, funtional, and constraint logic programming. The topics include, but are not limited to the following areas:

  • Logic, Functional, and Constraint Programming Languages and Extensions
  • Multi-paradigm Declarative Programming
  • Knowledge Representation, Deductive Databases, and Non-monotonic Reasoning
  • Applications and Application Areas of Declarative Programming
  • Foundations, Semantics, Specification, Verification
  • Tools and Implementations
  • Software techniques for declarative programming

The Workshop on (Constraint and Functional) Logic Programming serves as the scientific forum and the annual meeting of the Society of Logic Programming (GLP e.V.) and brings together researchers interested in logic programming, constraint programming, functional programming, and related areas like knowledge representation, artificial intelligence, databases.

Previous WLP Editions

WLP 2022 (virtual/Trier, Germany), WLP 2021 (virtual/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 (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’99 (Würzburg, Germany), WLP’98 (Vienna, Austria), WLP’97 (Munich, Germany), WLP’95 (Vienna, Austria), …

Schedule and Accepted Papers

The workshop will be held in Room C 253.

session 1 - 11:30-12:30 Uhr

Session Chair: Mario Wenzel

session 2 - 14:00-15:00 Uhr

Session Chair: Dietmar Seipel

GLP-Meeting und Meeting der FG-Dekl.Prog. - 15:30 Uhr

Topics TBD


  • Submission Deadline: July 2nd 2023
  • Extended Submission Deadline: July 16nd 2023
  • Notification (+ tentative schedule): August 21st 2023
  • Camera Ready Submission: September 17th 2023
  • Workshop and Paper Presentation: September 26th 2023

Submission and Registration

Registration to KI 2023 and workshops is handled uniformly by the co-located INFORMATIK2023 conference, see https://informatik2023.gi.de/registration_ki.html for registration details. It is necessary for at least one author to be registered at the conference, e.g. with a one-day ticket (Tagespass).

Papers should be submitted via the EasyChair conference management system (https://easychair.org/conferences/?conf=wlp2023).

Submission Guidelines

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 chairs in case of questions).

Full papers should consist of up to 12 pages, system descriptions or short papers should be no longer than 6 pages (excluding references). Formatting should follow the GI-LNI style and guidelines which are available here, along with formatting templates and style files.

Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted via the EasyChair conference management system (https://easychair.org/conferences/?conf=wlp2023).

The workshop is running a single-blind review process. 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. All accepted papers will be published on the workshop website.

The WLP is also open to people who would like to attend without submitting a paper as discussion of the topic will play a major role.


Workshop Chairs

Program Committee of WLP 2023