33rd Workshop on (Constraint) Logic Programming

WLP 2019

The WLP workshop provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.

Topics

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

 

Submission Guidelines

Submission is via Springer-OCS submission website for WLP 2019:

https://ocs.springer.com/ocs/de/conference/submitpaperto/WLP2019

(See also https://ocs.springer.com/ocs/home/WLP2019)

Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories:

  • Regular research papers
  • Application papers
  • System descriptions

We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style.

Publication

All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository CoRR.
According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Artificial Intelligence LNCS/LNAI series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings.
All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper.

Deadlines

  • Paper Registration: May 27, 2019
  • Submission: June 3, 2019
  • Notification of Authors: July 1, 2019
  • Camera-ready Papers: July 29, 2019
  • Early Registration: August 12, 2019
  • Online Registration: September 2, 2019
  • Conference & Workshops: September 9-13, 2019

Program Committee

Petra Hofstedt (BTU Cottbus – Senftenberg, Germany) (co-Chair)
Ulrich John (hwtk Berlin) (co-Chair)

Slim Abdennadher (German University in Cairo, Egypt)
Christoph Beierle (FernUniversität in Hagen, Germany)
Thomas Eiter (Vienna University of Technology, Austria)
Daniel Gall (University of Ulm, Germany)
Ulrich Geske (University of Potsdam, Germany)
Michael Hanus (University of Kiel, Germany)
Steffen Hölldobler (TU Dresden, Germany)
Tomi Janhunen (Tampere University, Finland)
Ke Liu (BTU Cottbus – Senftenberg, Germany)
Sven Löffler (BTU Cottbus – Senftenberg, Germany)
Falco Nogatz (University of Würzburg, Germany)
Torsten Schaub (University of Potsdam, Germany)
Sibylle Schwarz (HTWK Leipzig, Germany)
Dietmar Seipel (University of Würzburg, Germany)
Hans Tompits (Vienna University of Technology, Austria)
Janis Voigtländer (Universität Duisburg-Essen, Germany)
Armin Wolf (Fraunhofer FOKUS Berlin, Germany)

 

Call for Papers (as pdf)