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)
Sponsors
The LoCoCo 2010 workshop is sponsored by the
mancoosi project.
Last change: March 5, 2010