Call for Papers
WLP 2024 provides 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.
The WLP is part of the KI 2024 in Würzburg.
Contributions are welcome on all aspects of logic programming (LP), constraint programming (CP), and other fields of artificial intelligence, including, but not limited to the following areas:
- Logic programming
- Constraint 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
The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, planned or running projects, frame concepts or interesting experiments (e.g., benchmarks) are also encouraged. .
Submission and Registration
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.
Papers must be written using the LNCS style for authors and can be submitted using EasyChair. (Please select WLP 2024 as the relevant Track)
Accepted papers will be published.
Dates
- Submission Deadline: July 1, 2024 July 15, 2024
- Notification: July 31, 2024
- Camera-ready Paper: August 20, 2024
- Workshop: September 24, 2024 in Würzburg
Program Committee
- Slim Abdennadher (German University Cairo, Egypt)
- Salvador Abreu (University of Évora, Portugal)
- 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)
- Sven Löffler (BTU Cottbus-Senftenberg, Germany)
- Dietmar Seipel (University of Würzburg, Germany)
- Sibylle Schwarz (HTWK Leipzig, Germany)
- Mario Wenzel (University of Halle, Germany)
- Armin Wolf (Fraunhofer FOKUS, Germany)
- Daniel Weidner (University of Würzburg, Germany)
Co-Chairs:
- Ulrich John (International University of Applied Sciences, Germany), ulrich.john@iu.org
- Dietmar Seipel (University of Würzburg, Germany)
