======================================================================
CALL FOR PAPERS
29th Workshop on Logic Programming (WLP 2015)
part of the KI2015 and
co-located with the ICCL Summer School on Reasoning
Dresden, Germany, September 21 - 22, 2015
http://www.imn.htwk-leipzig.de/WLP2015
======================================================================
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=wlp2015.
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
===============
Submission of papers: June 14, 2015
Notification of acceptance: July 7, 2015
Early-Registration Deadline: July 15, 2015
Camera-ready papers: July 30, 2015
Workshop: September 21-22, 2015
Program committee
=================
Slim Abdennadher - German University in Cairo
Stefan Brass - Univ. Halle
Gerhard Brewka - Univ. Leipzig
Francois Bry - LMU Muenchen
Michael Hanus - CAU Kiel
Steffen Hölldobler (chair) - TU Dresden
Petra Hofstedt - BTU Cottbus
Torsten Schaub - Univ. Potsdam
Sibylle Schwarz (chair) - HTWK Leipzig
Dietmar Seipel - Univ. Wuerzburg
Hans Tompits - Vienna University of Technology
Janis Voigtländer - Univ. Bonn
Workshop Organizers
===============
Steffen Hölldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden
sh_at_iccl.tu-dresden.de
http://www.computational-logic.org/~sh/
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
--
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 Mai 04 2015 - 11:16:57 CEST