Lococo 2010 -- Workshop on Logics for Component Configuration

Edinburgh, Scotland, July 10, 2010

LoCoCo 2010 is a workshop of the International Conference on Theory and Applications of Satisfiability Testing (SAT) at the Federated Logic Conference 2010 (FLoC 2010).

Scope

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.

Invited Talk

An invited talk will be given by Carsten Sinz (University of Karlsruhe).

MISC 2010

The first Mancoosi International Solver Competition (MISC) will be held in conjunction with the LoCoCo workshop.

Submission and Publication

Friday, March 26	Submission deadline
Friday, April 23	Notification about acceptance
Friday, May 21	Final paper due

Please see the Call for Papers (also available in Postscript and PDF) for details.

Program Committee

Daniel Le Berre (Université d'Artois, France)
Roberto Di Cosmo (Université Paris-Diderot, France)
Georg Gottlob (Oxford University, UK)
Pascal van Hentenryck (Brown University, USA)
Matti Järvisalo (University of Helsinki, Finland)
Inês Lynce (INESC-ID, Lisbon, Portugal), co-chair
Toni Mancini (Sapienza Università di Roma, Italy)
Albert Oliveras (Technical University of Catalonia, Barcelona, Spain)
Christian Schulte (KTH, Stockholm, Sweden)
Ralf Treinen (Université Paris-Diderot, France), co-chair
Nic Wilson (UCC, Cork, Irland)