[TYPES/announce] Call for Papers - 30th Workshop on Logic Programming (WLP 2016)

Sibylle Schwarz sibylle.schwarz at htwk-leipzig.de
Thu Apr 21 04:25:09 EDT 2016


======================================================================
                            CALL FOR PAPERS

             30th Workshop on Logic Programming (WLP 2016)

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

               Leipzig, Germany, September 12 - 15, 2016

                http://www.imn.htwk-leipzig.de/WLP2016

======================================================================

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.

Submission
==========
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
http://www.easychair.org/conferences/?conf=wlp2016.

All submissions must be written in English and prepared in Springer's
LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html).

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

All accepted papers will be published electronically at the
CEUR Workshop Proceedings website (http://www.CEUR-ws.org/).
As for previous events, it is planned to publish selected papers as
post-conference proceedings.

Important Dates (with extended deadline)
===============
Submission of papers:                June 3, 2016
Notification of acceptance:          July 1, 2016
Early-Registration Deadline:         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
sibylle.schwarz at htwk-leipzig.de
http://www.imn.htwk-leipzig.de/~schwarz




More information about the Types-announce mailing list