WLP 2021 - 35th Workshop on (Constraint) Logic Programming
at KI 2021 <
https://ki2021.uni-luebeck.de> (Berlin/ virtual)
------------------------------------------------------------------------
Call for Papers
WLP 2021 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.
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 (e.g.,
agents, XML, Java)
* Implementation of declarative languages
* Advanced programming environments and tools
* Software engineering in the context of 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, running projects, frame concepts or
interesting experiments (e.g., benchmarks) are also encouraged.
Submission
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 (Link will be added soon).
Accepted papers will be published.
Important Dates
* Abstract Submission: *May 10, 2021*
* Paper Submission: May 17, 2021
* Submission of camera-ready version: July 12, 2021
* Workshop: September 27 - Oct 1, 2021
Organisation
* Ulrich John (/Chair/), VICTORIA | Internationale Hochschule (vormals
HWTK), Berlin, ulrich.john_at_victoria-hochschule.de
* Petra Hofstedt, Brandenburgische Technische Universität
Cottbus-Senftenberg, hofstedt_at_b-tu.de
* Mario Wenzel, Martin-Luther-Universität Halle-Wittenberg
Programmkomitee
* Slim Abdennadher, German University in Cairo
* Christoph Beierle, FernUniversität Hagen
* Stefan Brass, Universität Halle
* François Bry, Ludwig-Maximilians-Universität München
* Ulrich Geske, Universität Potsdam
* Michael Hanus, Universität Kiel
* Petra Hofstedt, Brandenburgische Technische Universität
Cottbus-Senftenberg
* Ulrich John, VICTORIA | Internationale Hochschule, Berlin
* Sibylle Schwarz, Hochschule für Technik, Wirtschaft und Kultur Leipzig
* Dietmar Seipel, Universität Würzburg
* Hans Tompits, TU Wien
* Armin Wolf, Fraunhofer FOKUS, Berlin
--
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_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 Di Apr 27 2021 - 10:50:56 CEST