piwik-script

Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme

    WLP 2020

    34th Workshop on (Constraint) Logic Programming

    The WLP workshop provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitates interactions between research in theoretical foundations and in the design and implementation of logic-based 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

    The structure of the workshop will be informal. We invite extended abstracts (2-3 pages, using the Springer LNCS style) in the following categories:

    • Theoretical background
    • Applications
    • Novel approaches
    • Open research questions
    • System descriptions and demonstrations
    • Ongoing work

    Submission is via Easychair submission website for WFLP 2020.
    All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity.

    Publication

    All abstracts accepted for presentation at the conference will be published in informal proceedings publicly available.
    All accepted contributions will be presented during the workshop.
    At least one author of an accepted abstract is expected to register for the workshop and present the paper.

    Deadlines

    • Submission:                                    June 01, 2020
    • Notification of Authors:                July 01, 2020
    • Camera-ready Papers:                  August 01, 2020
    • Conference & Workshops:           September 21/22, 2020

    Organizing Committee

    Michael Hanus   (University of Kiel, Germany)
    Sibylle Schwarz (HTWK Leipzig, Germany)
    Dietmar Seipel  (University of Würzburg, Germany)