--------------------------------------------------------------------------
CALL FOR PAPERS
--------------------------------------------------------------------------
39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)
https://www.imn.htwk-leipzig.de/WLP2025/
--------------------------------------------------------------------------
Workshop at Declare 2025 (September 24-26, 2025 in Evora, Portugal)
https://declare.di.uevora.pt/
co-located with:
16th Workshop on AI-based Management, Optimization and Configuration
(MOC 2025)
2nd Workshop on Intelligent Digitalization (IntDig 2025)
--------------------------------------------------------------------------
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)](http://www-ps.informatik.uni-kiel.de/GLP/)
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) 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.
Papers should be submitted via the EasyChair conference management
system (https://easychair.org/conferences/?conf=wlp2025).
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,
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: July 18th, 2025 (extended)
Notification of acceptance: August , 2025
Workshop: September 24th, 2025
Workshop Chair: Sibylle Schwarz (HTWK Leipzig, Germany)
Program Committee:
Slim Abdennadher (German University Cairo, Egypt)
Salvador Abreu (University of Évora, Portugal)
Stefan Brass (University of Halle, Germany)
Ulrich Geske (University of Potsdam, Germany)
Michael Hanus (University of Kiel, Germany)
Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)
Ulrich John (International University of Applied Sciences, Germany)
Dietmar Seipel (University of Wuerzburg, Germany)
Mario Wenzel (University of Halle, Germany)
