======================================================================
FINAL CALL FOR PAPERS (extended deadline)
30th Workshop on Logic Programming (WLP 2016)
Leipzig, Germany, September 12 - 13, 2016
http://nfa.imn.htwk-leipzig.de/WLP2016
part of the
Leipzig Week of Declarative Programming (L-DEC) 2016
http://nfa.imn.htwk-leipzig.de/LDEC2016
======================================================================
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 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
(
http://style.eptcs.org).
Selected papers will be published electronically in
joint WLP/ WFLP post-conference proceedings in EPTCS.
Important Dates
===============
Submission of papers: July 3, 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
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 Do Jun 16 2016 - 18:47:07 CEST