WLP @ KI2022 in Trier#WLP22
Workshop at the 45th German Conference on Artificial Intelligence

The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer Logische Programmierung e.V.). They bring together researchers (not only from Germany) interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research.

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 and Constraint Logic Programming Languages and Extensions
  • Knowledge Representation and Non-monotonic Reasoning
  • Applications and Application Areas of (C)LP
  • Implementations

In this year, the workshop is organised as part of the 45th German Conference on Artificial Intelligence (KI2022) in Trier. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations.

Previous WLP Editions:

WLP 2021 (virtual/Berlin, Germany), WLP 2020 (Bamberg, Germany), WLP 2019 (Cottbus, Germany), WLP 2018 (Berlin, Germany), WLP 2017 (Würzburg, Germany), WLP 2016 (Leipzig, Germany), WLP 2015 (Dresden, Germany), WLP 2014 (Wittenberg, Germany), WLP 2013 (Kiel, Germany), WLP 2012 (Bonn, Germany), WLP 2011 (Vienna, Austria), WLP 2010 (Cairo, Egypt), WLP 2009 (Potsdam, Germany), WLP 2008 (Dresden, Germany), WLP 2007 (Würzburg, Germany), WLP 2006 (Vienna, Austria), WLP 2005 (Ulm, Germany), WLP 2004 (Potsdam, Germany), WLP 2002 (Dresden, Germany), WLP 2001 (Kiel, Germany), WLP 2000 (Berlin, Germany), WLP'99 (Würzburg, Germany), WLP'98 (Vienna, Austria), WLP'97 (Munich, Germany), WLP'95 (Vienna, Austria), ...

Registration:

For each accepted workshop paper at least one author needs to register for the conference via the KI2022 website. Early Bird registration will be open until August 15th and final registration will be open until August 20th.

Topics

The topics of interest include (but are not limited to):

  • 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 (e.g., agents, XML, Java)
  • Implementation of declarative languages
  • Advanced programming environments and tools
  • Software technique for declarative programming
  • Applications
  • 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, or interesting experiments (e.g., benchmarks) are also encouraged.

Dates

Standard Submission of Papers

19th June 2022 4th July 2022

Notification of Acceptance for Standard Submissions

1st August 2022

Late Submission of Papers

8th August 2022

Notification of Acceptance for Late Submissions

28th August 2022

Camera-ready Papers

7th September 2022

Workshop

19th September 2022, 09:00–12:00

Submission Guidelines

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. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions).

Full papers should consist of up to 12 pages, system descriptions or short papers should be no longer than 6 pages (excluding references). Formatting should follow the GI-LNI style and guidelines which are available here, along with formatting templates and style files.

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=ki2022). Please select track W9: 36th Workshop on (Constraint) Logic Programming. Submission for workshops is possible though the EasyChair website indicates the deadlines of the KI2022 main event (May 16 and 23).

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 in a technical report. KI2022 plans the publication of selected workshop papers in the GI-LNI proceedings series after the KI2022 conference. Authors of papers selected for publication in this selected GI-LNI series will later get a possibility to submit an extended version of the paper disregarding their original submission format.

The WLP is also open to people who would like to attend without submitting a paper as discussion of the topic will play a major role.

Late Submission still open! The organisers of the main conference KI2022 recently decided to go fully virtual. As WLP participation no longer requires travel planning and travel expenses, we announce a second, late submission deadline WLP. In addition to the already passed standard submission, this allows authors to still contribute on a tighter schedule of publication. Besides the later notification, contributions of late submission will receive the same treatment as standard submissions, including the normal review process.

Organisation

Workshop Chairs

Falco Nogatz (DFKI, Germany)
Mario Wenzel (University of Halle, Germany)

Program Committee of WLP 2022

Slim Abdennadher (German University Cairo, Egypt)
Salvador Abreu (University of Évora, Portugal)
Stefan Brass (University of Halle, Germany)
Thom Frühwirth (Ulm University, Germany)
Ulrich Geske (University of Potsdam, Germany)
Michael Hanus (University of Kiel, Germany)
Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)
Ulrich John (International University of Applied Sciences Berlin, Germany)
Philipp Körner (University Düsseldorf, Germany)
Sibylle Schwarz (HTWK Leipzig, Germany)
Dietmar Seipel (University of Würzburg, Germany)
Hans Tompits (TU Wien, Austria)
Felix Weitkämper (LMU München, Germany)
Armin Wolf (Fraunhofer FOKUS, Germany)

Location and Venue

University of Trier – Rhineland-Palatinate – Germany – ❤ of Europe

Trier is the oldest city in Germany with more than 2000 years of history. Today, with a population of about 110,000, Trier is an episcopal and university city with more than 22,000 students. Situated on the Moselle (Mosel) River, not far from Luxembourg, the city is on the geographic edge of Germany, but in the heart of Europe.

Venue

Campus I (Main Campus)

Universitätsring 15

54296 Trier, Germany

Accommodation

Trier is a very popular destination all year round, especially in the summer and fall seasons. During this time, hotel contingents become particularly scarce. Therefore, we recommend booking accommodation very early. A list of hotels with reserved contingents is given at the website of KI2022.

Additional details

For additional information information for guests, we refer to the KI2022 website.

WLP @ KI2022

September 2022, Trier