WLP 2011 25th Workshop on Logic Programming Co-located with INAP 2011

Important Dates


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):

  1. Theoretical aspects:
    1. foundations of CP and LP;
    2. constraint solving and optimisation;
    3. extensions: functional logic programming, objects;
    4. deductive databases, data mining;
    5. nonmonotonic reasoning;
    6. dynamics, updates, states, transactions;
    7. interaction of CP and LP with other formalisms like agents, XML, JAVA;
    8. program analysis, program transformation, program verification, meta programming;
    9. parallelism and concurrency;
    10. rule-based systems;
    11. abductive and inductive logic programming;
    12. answer-set programming;
    13. complexity and expressive power;
    14. semantics and proof-theoretical investigations.

  2. Implementation of systems:
    1. system descriptions, comparisons, evaluations;
    2. benchmarks;
    3. implementation techniques;
    4. software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development).

  3. Application of logic programming:
    1. logic programming in production, management, environment, education, medicine, internet, etc.;
    2. CP/LP for Semantic Web applications and reasoning on the Semantic Web;
    3. data modelling for the Web, semistructured data, and Web query languages;
    4. knowledge representation and reasoning.

The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, or interesting experiments (e.g., benchmarks) are also encouraged.

To mark the 25th anniversary of the WLP workshop series, we also encourage submissions describing historical aspects of logic programming, particularly its development in Germany, Austria, and Switzerland, as well as personal reminiscences about the early days of logic programming.