Modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Representing and solving configuration problems is a hot topic of great importance for many application domains. Some well-known examples of complex systems of components are Free and Open Source software distributions like GNU/Linux, or Eclipse plugins.

Understanding and solving these questions is an attractive research topic since the problems to be solved are complex and interesting for researchers working on solving techniques, and on the other hand have the potential of high impact on the way the software we all use everyday is developed and deployed. Not only adequate logical formalisms to represent a configuration problem are required, but also sophisticated reasoning technologies to deal with large amounts of data. Further relevant aspects include diagnosis of failed configuration settings and an intelligent behavior dealing with user preferences.

This workshop will focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal of the workshop is to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programing, description logics, satisfiability and its extensions. The workshop will be an opportunity to discuss common and complementary solutions for solving component configuration.

Topics
Main areas of interest include, but are not restricted to:

* Configuration problems and models: knowledge representation and acquisition, incomplete knowledge, inconsistent knowledge, etc.
* Reasoning methods for solving configuration problems: constraint satisfaction and optimization, SAT solving and extensions, integer programing, local search, symmetry breaking, etc.
* Interactivity: user preferences, machine learning, distributed environments, etc.
* Applications and tools: case studies, current challenges, application reports, etc.