[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
37th Workshop on (Constraint and Functional) Logic Programming
(WLP)Workshop at KI2023, Berlin, Germany September 26, 2023
Workshop Website: https://urldefense.com/v3/__https://dbs.informatik.uni-halle.de/wlp2023/__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3x4aDmT7A$
Conference Website: https://urldefense.com/v3/__https://ki2023.gi.de/__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3ycp74GPg$
Important dates:
Submission deadline: July 2nd
Notification of acceptance: August 21st
Workshop: 26th September 2023
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.
Contributions are welcome on all theoretical, experimental, and
application aspects of logic 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
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=wlp2023__;!!IBzWLUs!UDKNudDhHkpnOwoYFCNpz83hsrBB3ZaX_tnFGK-XMFbDojMFmYLwtZQ4uqe4hqaAIlGYAVT4HsUMnEZCPujB_iUh8inpuRmNKuTYysQex3wgPzgxvQ$ ). 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.
Full papers should consist of up to 12 pages, system descriptions or
short papers should be no longer than 6 pages (excluding references).The
workshop is running a single-blind review process. Submitted papers will
be judged on the basis of significance, relevance, correctness,
originality, and clarity. They should include a clear identification of
what has been accomplished and why it is significant. All accepted
papers will be published on the workshop website.
Workshop Chairs
Sibylle Schwarz (HTWK Leipzig, Germany)
Mario Wenzel (University of Halle, Germany)
Program Committee of WLP 2023
Slim Abdennadher (German University Cairo, Egypt)
Salvador Abreu (University of Évora, Portugal)
Michael Hanus (University of Kiel, Germany)
Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)
Herbert Kuchen (University of Münster)
Dietmar Seipel (University of Würzburg, Germany)
Hans Tompits (TU Wien, Austria)
Janis Voigtländer (University of Duisburg-Essen, Germany)
German Vidal (Universitat Politècnica de València, Spain)
