From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 899ECBBAF for ; Fri, 22 Jan 2010 20:56:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BANuRWUuGnQCBkWdsb2JhbACQKAGMAQEBAQEHDQoHEwO8DYQ8BA X-IronPort-AV: E=Sophos;i="4.49,325,1262559600"; d="scan'208";a="48036980" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jan 2010 20:56:00 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id o0MJtxh3026905 for ; Fri, 22 Jan 2010 20:56:00 +0100 (CET) X-Ids:164 Received: from hydrogene.pps.jussieu.fr (localhost.localdomain [127.0.0.1]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id o0MJtw49020955 for ; Fri, 22 Jan 2010 20:55:58 +0100 Received: (from treinen@localhost) by hydrogene.pps.jussieu.fr (8.13.4/8.13.2/Submit) id o0MJtw0S020954 for caml-list@inria.fr; Fri, 22 Jan 2010 20:55:58 +0100 Date: Fri, 22 Jan 2010 20:55:58 +0100 From: Ralf Treinen Message-Id: <201001221955.o0MJtw0S020954@hydrogene.pps.jussieu.fr> To: caml-list@inria.fr Subject: Call for Papers: LoCoCo 2010 X-Virus-Scanned: ClamAV 0.94.2/10326/Fri Jan 22 19:18:42 2010 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail2.jussieu.fr with ID 4B5A02CF.008 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4B5A02CF.008/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; ralf:01 ralf:01 logics:01 configuring:01 logic-based:01 logics:01 karlsruhe:01 solver:01 pointers:01 matti:01 10,:98 d'artois:98 universita:98 roma:98 integer:01 LoCoCo 2010 -- Workshop on Logics for Component Configuration Workshop of SAT at FLoC 2010, Edinburgh, Scotland, July 10, 2010 http://lococo2010.mancoosi.org/ First Call for Papers 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 in the world of Free and Open Source software are the different distributions for GNU/Linux, BSD, 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 programming, 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: o Configuration problems and models: knowledge representation and acquisition, incomplete knowledge, inconsistent knowledge, etc. o Reasoning methods for solving configuration problems: constraint satisfaction and optimization, SAT solving and extensions, integer programming, local search, symmetry breaking, etc. o Interactivity: user preferences, machine learning, distributed environments, etc. o 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 will be held in conjunction with the LoCoCo workshop. Important Dates =============== Friday, March 26 Submission deadline Friday, April 23 Notification about acceptance Friday, May 21 Final paper due Saturday, July 10 Workshop Submission and Publication ========================== We welcome submissions of various types of presentations related to the topics of the workshop, such as - full research papers - abstracts of ongoing work - tutorial overview papers - summaries of research projects - system descriptions, if possible including system demonstration at the workshop. These must provide the means to download and evaluate the system, with preference to distribution under an open source licence. Papers presented at the workshop will have to carry an open access licence agreement. We will attempt to publish the papers at an open access archive of workshop proceedings. Details will be posted later. Submitted papers must not exceed a limit of 10 pages, but authors may provide pointers to additional online resources if necessary. Papers may be submitted in the formats Postscript or PDF. Details of the exact page style to be used will be posted later. Submissions will be handled through easychair at http://www.easychair.org/conferences/?conf=lococo2010. Program Committee ================= Daniel Le Berre (Universite d'Artois, France) Roberto Di Cosmo (Universite Paris-Diderot, France) Georg Gottlob (Oxford University, UK) Pascal van Hentenryck (Brown University, USA) Matti Jarvisalo (University of Helsinki, Finland) Ines Lynce (INESC-ID, Lisbon, Portugal), co-chair Toni Mancini (Sapienza Universita di Roma, Italy) Albert Oliveras (Technical University of Catalonia, Barcelona, Spain) Christian Schulte (KTH, Stockholm, Sweden) Ralf Treinen (Universite Paris-Diderot, France), co-chair Nic Wilson (UCC, Cork, Irland)