Lococo 2010 -- Workshop on Logics for Component Configuration

Edinburgh, Scotland, July 10, 2010

LoCoCo 2010 was 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 are published as volume 29 of Electronic Proceedings in Theoretical Computer Science (EPTCS) under an open access licence.

Programme

9h00-10h00
Carsten Sinz, Universität Karlsruhe: Software Configuration: What can we learn from Product Configuration? (invited talk)

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.

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

MISC 2010

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

Program Committee

Sponsors

The LoCoCo 2010 workshop was sponsored by the Mancoosi project.

Mancoosi logo

Last change: April 12, 2012
[Back to the LoCoCo home page]