2nd CfP: WLP 2016

From: Sibylle Schwarz <sibylle.schwarz_at_htwk-leipzig.de>
Date: Tue, 31 May 2016 20:15:44 +0200

                       SECOND CALL FOR PAPERS

             30th Workshop on Logic Programming (WLP 2016)

           Leipzig, Germany, September 12 - 13, 2016


                           part of the
         Leipzig Week of Declarative Programming (L-DEC) 2016

The Workshops on (Constraint) Logic Programming are the annual meeting
of the German Society of Logic Programming Gesellschaft für Logische
Programmierung e.V. (GLP) and bring together researchers interested
in logic programming, constraint programming, answer set programming,
and related areas like databases and artificial intelligence (not only
from Germany).

The workshops provide a forum for exchanging ideas on declarative
logic programming, nonmonotonic reasoning and knowledge
representation, and facilitate interactions between research in
theoretical foundations and in the design and implementation of
logic-based programming systems.

Contributions are welcome on all theoretical, experimental, and
application aspects of logic programming (LP) and constraint
programming (CP), including, but not limited to the following areas:

Logic Programming and Extensions

* foundations of CP and LP
* constraint solving and optimisation
* functional logic programming, objects
* dynamics, updates, states, transactions
* interaction of CP and LP with other formalisms like agents, XML, JAVA
* parallelism and concurrency
* complexity and expressive power
* program analysis, program transformation, program verification,
  meta programming

Knowledge Representation and Nonmonotonic Reasoning

* deductive databases, data mining
* rule-based systems
* abductive and inductive logic programming
* answer-set programming
* semantics and proof-theoretical investigations

Application of Logic Programming

* logic programming in production, management, environment, education,
  medicine, internet, etc.
* CP/LP for Semantic Web applications and reasoning on the Semantic Web
* data modelling for the Web, semistructured data, and Web query languages

Implementation of Systems

* system descriptions, comparisons, evaluations, benchmarks
* implementation techniques
* software techniques and programming support (e.g., types, modularity,
  design patterns, debugging, testing, systematic program development).

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, interesting experiments (e.g., benchmarks) or ongoing
scientific work are also encouraged.

Authors are invited to submit an extended abstract (no longer than 15
pages including figures and references) or a system description (no
longer than 6 pages) in PDF (11pt) via EasyChair

All submissions must be unpublished original work. However, work
that already appeared in unpublished or informally published workshops
proceedings may be submitted, too.

All submissions must be written in English and prepared in EPTCS style

Selected papers will be published electronically in
joint WLP/ WFLP post-conference proceedings in EPTCS.

Important Dates
Submission of papers: June 15, 2016 (extended)
Notification of acceptance: July 15, 2016
Workshop: September 12 - 13, 2016

Program committee
Stefan Brass - Univ. Halle
Gerhard Brewka - Univ. Leipzig
Michael Hanus - CAU Kiel
Heinrich Herre - Univ. Leipzig
Steffen Hölldobler - TU Dresden
Petra Hofstedt - BTU Cottbus
Ulrich John - HWTK Berlin
Georg Ringwelski - HS Zittau/Görlitz
Torsten Schaub - Univ. Potsdam
Sibylle Schwarz (chair) - HTWK Leipzig
Dietmar Seipel - Univ. Wuerzburg

Workshop Organizer
Sibylle Schwarz
Hochschule für Technik, Wirtschaft und Kultur Leipzig
F-IMN, Postfach 301166
04251 Leipzig

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:

Received on Tue May 31 2016 - 20:29:13 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2018 - 07:16:03 CET