The workshops on (constraint) logic programming (WLP) serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer 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 (KRR);
answer-set programming (inluding disjunctive logic programming);
dynamics, updates, states, transactions;
interaction of CP and LP with other formalisms like agents, XML, JAVA;
analysis, transformation and verification of programs, 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.
Slim Abdennadher, German University in Cairo, Egypt
Salvador Abreu, University of Évora, Portugal
Stefan Brass, University of Halle-Wittenberg, Germany
Ulrich Geske, University of Potsdam, Germany
Michael Hanus, CAU Kiel, Germany
Petra Hofstedt, Brandenburg University of Technology Cottbus, Germany
Ulrich John, IU International University of Applied Sciences, Germany
Dietmar Seipel, Julius-Maximilians-Universität Würzburg, Germany
Mario Wenzel, University of Halle, Germany