WLP 2012 - 26th Workshop on Logic Programming

The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft für Logische Programmierung e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research.
Topics
Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to the following areas (the order does not reflect any priorities):
Theoretical aspects:
i. foundations of CP and LP;
ii. constraint solving and optimisation;
iii. extensions: functional logic programming, objects;
iv. deductive databases, data mining;
v. nonmonotonic reasoning;
vi. dynamics, updates, states, transactions;
vii. interaction of CP and LP with other formalisms like agents, XML, JAVA;
viii. program analysis, program transformation, program verification, meta programming;
ix. parallelism and concurrency;
x. rule-based systems;
xi. abductive and inductive logic programming;
xii. answer-set programming;
xiii. complexity and expressive power;
xiv. semantics and proof-theoretical investigations;
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.