WLP _at_ KI2023: Call for Papers

From: Sibylle Schwarz <sibylle.schwarz_at_htwk-leipzig.de>
Date: Fri, 2 Jun 2023 21:25:47 +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,
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://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)
-- 
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_lists.informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Mo Jun 05 2023 - 09:26:25 CEST

This archive was generated by hypermail 2.3.0 : Mi Mai 22 2024 - 07:16:03 CEST