[curry] WLP @ KI2023: Call for Papers

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 5 Jun 2023 09:25:11 +0200

37th Workshop on (Constraint and Functional) Logic Programming
(WLP)Workshop at KI2023, Berlin, Germany September 26, 2023

      Workshop Website: https://dbs.informatik.uni-halle.de/wlp2023/
      Conference Website: https://ki2023.gi.de/

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,

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
      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://easychair.org/conferences/?conf=wlp2023). 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)
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
Received on Mo Jun 05 2023 - 09:26:30 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:14 CEST