WLP 2024
The Workshop on Logic Programming (WLP 2024) will be held at the German Conference on Artificial Intelligence (KI 2024) in Würzburg
Topics
The WLP provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.
Contributions are welcome on all theoretical, experimental, and application aspects of logic, funtional, and constraint logic programming. The topics include, but are not limited to the following areas:
- Logic, Functional, and Constraint Programming Languages and Extensions
- Multi-paradigm Declarative Programming
- Knowledge Representation, Deductive Databases, and Non-monotonic Reasoning
- Applications and Application Areas of Declarative Programming
- Foundations, Semantics, Specification, Verification
- Tools and Implementations
- Software techniques for declarative programming
The Workshop on (Constraint and Functional) Logic Programming serves as the scientific forum and the annual meeting of the Society of Logic Programming (GLP e.V.) and brings together researchers interested in logic programming, constraint programming, functional programming, and related areas like knowledge representation, artificial intelligence, databases.
Dates
- Submission Deadline: 01.July 2024
- Notification: 31. July 2024
- Camera Ready Submission: 20. August 2024
- Workshop and Paper Presentation: 23rd and 24th September 2024
Submission and Registration
Registration via KI @ Uni Wü
Submission Guidelines
Publication
All abstracts accepted for presentation at the conference will be published in informal proceedings publicly available. All accepted contributions will be presented during the workshop. At least one author is expected to register for the workshop and present the paper.
...
Organizing Committee
...
Schedule
TBA