Lococo 2010 -- Workshop on Logics for Component Configuration

Scope

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

• 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.

Invited Talk