Logic List Mailing Archive

CFP: WLP 2026 – Workshop on (Constraint and Functional) Logic Programming (Dresden, September 23, 2026)

--------------------------------------------------------------------------
WLP 2026 Call for Papers

40th Workshop on
(Constraint and Functional) Logic Programming (WLP 2026) https://www.imn.htwk-leipzig.de/WLP2026/

Workshop at INFORMATIK 2026 (https://informatik2026.gi.de) September 23, 2026 in Dresden, Deutschland
--------------------------------------------------------------------------

The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming [Gesellschaft fuer Logische Programmierung e.V. (GLP)](https://www.glp-ev.de/)

The workshops provide provide a forum for exchanging ideas on declarative logic programming, constraint logic programming, non-monotonic reasoning, knowledge representation, and facilitates interactions between research in theoretical foundations and 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.

Contributions are welcome on all aspects of logic programming (LP), constraint programming (CP), functional logic programming (LP), and other fields of artificial intelligence, including, but not limited to the following areas:

     Logic programming
     Constraint programming
     Functional logic programming
     Deductive databases, data mining
     Extensions of declarative languages, objects
     Multi-paradigm declarative programming
     Foundations, semantics, nonmonotonic reasoning, dynamics
     Parallelism, concurrency
     Program analysis, abstract interpretation
     Program transformation, partial evaluation, meta-programming
     Specification, verification, declarative debugging
     Knowledge representation, machine learning
     Interaction of declarative programming with other formalisms/ AI technologies
     Implementation of declarative languages
     Advanced programming environments and tools
     Software engineering in the context of declarative programming
     Applications & project descriptions, e.g. in the fields planning, scheduling, configuration, computational law
     Lessons learned by teaching in the addressed fields
--------------------------------------------------------------------------
Submissions:

Authors should submit an electronic copy of the full paper in PDF and in LaTex format using LNI style
(https://gi.de/service/publikationen/lni)
  via the ConfTool conference management system (https://www.conftool.org/informatik2026/index.php?page=newPaper&form_contributiontypeID=27&newpaper=true). 
Before submitting, you have to register
(https://www.conftool.org/informatik2026/)

Authors are invited to submit extended abstract (no longer than 12 pages, excluding references) system description (no longer than 6 pages, excluding references).

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.

However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too.

Workshop languages are German and English.
--------------------------------------------------------------------------
Important dates:

     Submission deadline: May 5th, 2026
     Notification of acceptance: July 6th, 2026
     Workshop: September 23th, 2023
--------------------------------------------------------------------------
Workshop Chairs:

     Ulrich John (International University of Applied Sciences, Germany)
     Sibylle Schwarz (HTWK Leipzig, Germany)

Program Committee:

     Slim Abdennadher (German University in Cairo, Egypt)
     Salvador Abreu (University of Evora, Portugal)
     Michael Hanus (CAU Kiel, Germany)
     Petra Hofstedt (BTU Cottbus, Germany)
     Dietmar Seipel (University of Wuerzburg, Germany)
     Hans Tompits (Vienna University of Technology, Austria)
     Mario Wenzel (University Halle-Wittenberg, Germany)
--------------------------------------------------------------------------

--
-- Prof. Dr. Sibylle Schwarz
-- https://informatik.htwk-leipzig.de/schwarz
-- sibylle.schwarz@htwk-leipzig.de -- phone 0341 / 3076 6483

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php