Call for Papers WLP 2024

From: Daniel Weidner <daniel.weidner_at_uni-wuerzburg.de>
Date: Thu, 6 Jun 2024 08:39:47 +0200

***************************************************************

Call for Papers
38th Workshop on (Contraint) Logic Programming W(C)LP

***************************************************************

The 38th Workshop on (Contraint) Logic Programming W(C)LP will
take place in Würzburg, Germany, September 24, 2024.

W(C)LP will be part of KI 2024, a conference organised by the
University of Würzburg.

Important Dates
  - Paper submission: July 1, 2024
  - Notification of acceptance: July 31, 2024
  - Camera-ready papers: August 20, 2024
  - Workshop: September 24, 2024 in Würzburg

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 conference 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.


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 (IU International University of Applied Sciences, Germany)
  - Sven Löffler (BTU Cottbus-Senftenberg, Germany)
  - Sibylle Schwarz (HTWK Leipzig, Germany)
  - Dietmar Seipel (University of Würzburg, Germany)
  - Daniel Weidner (University of Würzburg, Germany)
  - Mario Wenzel (University of Halle, Germany)
  - Armin Wolf (Fraunhofer FOKUS, Germany)

Co-Chairs:

  - Ulrich John (IU International University of Applied Sciences, Germany),
       ulrich.john_at_iu.org
  - Dietmar Seipel (University of Würzburg, Germany),
       seipel_at_informatik.uni-wuerzburg.de

-- 
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 Do Jun 06 2024 - 10:08:43 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:16:03 CEST