[TYPES/announce] CfP: 39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)

Sibylle Schwarz sibylle.schwarz at htwk-leipzig.de
Mon May 12 16:16:38 EDT 2025


--------------------------------------------------------------------------
			WLP 2025 Call for Papers

39th Workshop on (Constraint and Functional) Logic Programming (WLP 2025)
      	      https://urldefense.com/v3/__https://www.imn.htwk-leipzig.de/WLP2025/__;!!IBzWLUs!VJ8jROc3IG1JoTzyhq2hQfklNnrQpb3FaGC0uzBByC2Bb69Ua3xIY67IiQ_bKAu6RNQsSNzOK3qwtlHTES2K4LBpXm2jY-Vp0Vo9OykiWM3QockIyQ$ 
--------------------------------------------------------------------------

Workshop at Declare 2025
(https://urldefense.com/v3/__https://declare.di.uevora.pt/__;!!IBzWLUs!VJ8jROc3IG1JoTzyhq2hQfklNnrQpb3FaGC0uzBByC2Bb69Ua3xIY67IiQ_bKAu6RNQsSNzOK3qwtlHTES2K4LBpXm2jY-Vp0Vo9OykiWM2SsxnA4A$ )

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
für Logische Programmierung e.V. 
(GLP)](https://urldefense.com/v3/__http://www-ps.informatik.uni-kiel.de/GLP/__;!!IBzWLUs!VJ8jROc3IG1JoTzyhq2hQfklNnrQpb3FaGC0uzBByC2Bb69Ua3xIY67IiQ_bKAu6RNQsSNzOK3qwtlHTES2K4LBpXm2jY-Vp0Vo9OykiWM1WJuAvdw$ )

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://urldefense.com/v3/__https://easychair.org/conferences/?conf=wlp20235__;!!IBzWLUs!VJ8jROc3IG1JoTzyhq2hQfklNnrQpb3FaGC0uzBByC2Bb69Ua3xIY67IiQ_bKAu6RNQsSNzOK3qwtlHTES2K4LBpXm2jY-Vp0Vo9OykiWM3Y_3vGqw$ ). 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://urldefense.com/v3/__https://informatik.htwk-leipzig.de/schwarz__;!!IBzWLUs!VJ8jROc3IG1JoTzyhq2hQfklNnrQpb3FaGC0uzBByC2Bb69Ua3xIY67IiQ_bKAu6RNQsSNzOK3qwtlHTES2K4LBpXm2jY-Vp0Vo9OykiWM3NdMmehw$ 
-- sibylle.schwarz at htwk-leipzig.de -- phone 0341 / 3076 6483



More information about the Types-announce mailing list