Logic List Mailing Archive
CfP: WLP 2025 – 39th Workshop on (Constraint and Functional) Logic Programming co-located with DECLARE 2025, 24 Sep 2025, Évora (Portugal)
--------------------------------------------------------------------------
WLP 2025 Call for Papers
39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)
https://www.imn.htwk-leipzig.de/WLP2025/
--------------------------------------------------------------------------
Workshop at Declare 2025
(https://declare.di.uevora.pt/)
Date: September 24, 2025
Location: vora, Portugal
co-located with:
16th Workshop on AI-based Management, Optimization and Configuration (MOC 2025) 2nd Workshop on Intelligent Digitalization (IntDig 2025)
--------------------------------------------------------------------------
Call for Papers:
The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming [Gesellschaft fr 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 and Constraint Logic Programming
Functional Logic Programming
Deductive Databases, Data Mining
Knowledge Representation, Non-Monotonic Reasoning
Multi-paradigm Declarative Programming
Implementation and Extensions of Declarative Languages
Foundations, Semantics, Specification, Verification
Dynamics, Parallelism, Concurrency
Program Analysis, Abstract Interpretation
Program Transformation, Partial Evaluation, Meta-Programming
Interaction of declarative programming with other formalisms/ AI
technologies
Software Techniques for Declarative Programming, Programming
Environments and Tools
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=wlp20235). 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.
Authors are invited to submit full papers (no longer than 12 pages,
excluding references) or short papers (no longer than 6 pages, excluding
references).
All submissions must be unpublished original work and must be written in
English. 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: June 15th, 2025
Notification of acceptance: July 14th, 2025
Final version: August 4th, 2025
Workshop: September 24th, 2025
--------------------------------------------------------------------------
Program Committee:
Slim Abdennadher (German University in Cairo, Egypt)
Salvador Abreu (NOVA-LINCS / University of Evora, Portugal)
Stefan Brass (University of Halle-Wittenberg, Germany)
Ulrich Geske (University Potsdam, Germany)
Michael Hanus (CAU Kiel, Germany)
Petra Hofstedt (Brandenburg University of Technology Cottbus, Germany)
Ulrich John (IU Internationale Hochschule, Germany)
Sibylle Schwarz (chair) (HTWK Leipzig, Germany)
Dietmar Seipel (University of Wuerzburg, Germany)
Mario Wenzel (MLU 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