WLP 2021 - 35th Workshop on (Constraint) Logic Programming
at KI 2021 <
https://ki2021.uni-luebeck.de> (Berlin/ virtual)
------------------------------------------------------------------------
Call for Papers (/
http://www.digitales-unternehmen.de/WLP2021//)
------------------------------------------------------------------------
*Paper submission */(EasyChair, *extended deadline: July 25*)/:*
* <
https://easychair.org/conferences/?conf=wlp2021>
------------------------------------------------------------------------
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
<
https://easychair.org/conferences/?conf=wlp2021>.
Accepted papers will be published.
Important Dates
* Paper Submission (/extended deadline/): *July 25, 2021*
* Notification of Authors: August 8, 2021
* Camera-ready Paper: August 31, 2021
* Workshop: /September 27, 2021/
Co-Chairs
* Ulrich John, 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, Martin-Luther-Universität Halle-Wittenberg
* 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
* Mario Wenzel, Martin-Luther-Universität Halle-Wittenberg
* 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 Mo Jul 05 2021 - 16:27:46 CEST