WLP 2011 - 25th Workshop on Logic Programming

25th Workshop on Logic Programming
(WLP 2011)

http://www.kr.tuwien.ac.at/events/wlp11

Vienna University of Technology, Austria
September 28-30, 2011


WLP 2011


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. Previous workshops have been
held in Germany, Austria, Switzerland, and Egypt.

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:

* foundations of CP and LP;
* constraint solving and optimization;
* extensions: functional logic programming, objects;
* deductive databases, data mining;
* knowledge representation and reasoning;
* answer-set programming;
* dynamics, updates, states, transactions;
* interaction of CP and LP with other formalisms like agents, XML, JAVA;
* program analysis, program transformation, program verification,
meta programming;
* parallelism and concurrency;
* implementation techniques;
* software techniques and programming support (e.g., types,
modularity, design patterns, debugging, testing, systematic program
development).
* applications of logic programming;
* CP/LP for the Semantic Web.

The joint INAP and WLP event aims to promote the cross-fertilizing exchange
of ideas and experiences among researches and students from the different
communities interested in the foundations, applications, and combinations
of high-level, declarative programming languages and related areas.

The technical program of the event will include invited talks, presentations
of refereed papers, and system demonstrations.

Important Dates


Deadline for Submission: July 1, 2011
Notification of Authors: August 1, 2011
Camera-ready papers: August 19, 2011
Conference & Workshop: September 28-30, 2011

Submissions


Authors are invited to submit papers in the following categories:

* technical papers (no longer than 15 pages);
* system descriptions (no longer than 6 pages).

To mark the 25th anniversary of the WLP workshop series, we also encourage
submissions to WLP 2011 (no longer than 6 pages) describing historical
aspects of logic programming as well as personal reminiscences about the
early days of logic programming.

Submissions must be unpublished original work and not submitted for publication
elsewhere. However, work that already appeared in informally published workshop
proceedings may be submitted too. All submissions must be in PDF format using
LaTeX2e and the Springer llncs.cls class file. Details about the submission
process will be given at the respective conference and workshop Web pages.

All accepted papers will be published in a technical report. As for previous
joint INAP/WLP events, it is planned to publish selected papers in a
post-conference proceedings volume in the Springer Lecture Notes in Artificial
Intelligence (LNAI) series.