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

Proceedings

The proceedings have been published as volume 29 of Electronic Proceedings in Theoretical Computer Science (EPTCS) under an open access licence.

Programme

9h00-10h00
Carsten Sinz: Software Configuration: What can we learn from Product Configuration? (invited talk)
10h00-10h30
-- Coffee Break --
10h30-12h30
Claude Michel and Michel Rueher: Handling software upgradeability problems with MILP solvers
Josep Argelich, Daniel Le Berre, Ines Lynce, Joao Marques-Silva and Pascal Rapicault: Solving Linux Upgradeability Problems Using Boolean Optimization
Paulo Trezentos: Comparison of PBO solvers in a dependency solving domain
Emmanuel Ohayon, Matthieu Lemerre and Vincent David: CONFIGEN: A tool for management of configuration options
12h30-14h
-- Lunch Break --
14h-15h
Andreas Kübler, Christoph Zengler and Wolfgang Küchlin: Model Counting in Product Configuration
Roberto Di Cosmo and Ralf Treinen: Results of the MISC 2010 Competition

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:

Invited Talk

Carsten Sinz (University of Karlsruhe) will give an invited talk on Software Configuration: What can we learn from Product Configuration?

Abstract: Systems to configure complex products like automobiles or machinery have been around for quite a while, and are nowadays used routinely by many companies. Both interactive systems (used, e.g., for on-line sales) and batch systems (to control the production process, where no user interaction is permitted) are in common use. In this talk we will give an overview on formalisms, systems and algorithms that are currently used in product configuration. We will also present two concrete product configuration systems from the automotive and medical devices industries, and relate them to current research in software configuration.

MISC 2010

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

Program Committee

Sponsors

The LoCoCo 2010 workshop is sponsored by the mancoosi project.

Mancoosi logo

Last change: April 22, 2010