From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4GEAUTL012934 for ; Mon, 16 May 2011 16:10:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsCAPIv0U2GnQCBlGdsb2JhbACYCwGOChQBAQEBCQsJCRQDIqd3jl6QMoYZBJ8I X-IronPort-AV: E=Sophos;i="4.64,374,1301868000"; d="scan'208";a="83297407" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 May 2011 16:10:25 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id p4GE8hIt094841 for ; Mon, 16 May 2011 16:08:56 +0200 (CEST) X-Ids: 168 Received: from vanadium.pps.jussieu.fr (vanadium.pps.jussieu.fr [134.157.168.23]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTPS id E99DFC3382 for ; Mon, 16 May 2011 16:08:41 +0200 (CEST) Received: from treinen by vanadium.pps.jussieu.fr with local (Exim 4.72) (envelope-from ) id 1QLyTR-0003Ho-TQ for caml-list@inria.fr; Mon, 16 May 2011 16:08:41 +0200 Date: Mon, 16 May 2011 16:08:41 +0200 Message-Id: To: caml-list@inria.fr From: Ralf Treinen X-Miltered: at jchkmail.jussieu.fr with ID 4DD12FEB.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4DD12FEB.000/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Validation-by: ralf.treinen@pps.jussieu.fr Subject: [Caml-list] 1st CFP: LoCoCo 2010 (Logics for Component Configuration) LoCoCo 2011 Second International Workshop on Logics for Component Configuration Principles and Practice of Constraint Programming (CP 2011) Perugia, Italy, September 12, 2011 http://lococo.irill.org/2011 First Call for Papers Scope: ====== Representing and solving configuration problems is a hot topic of great importance for many application domains. For example, 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. 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, on the one hand, the problems to be solved are complex and interesting for researchers working on solving techniques. On the other hand, research in this area has the potential of high impact on the way how the systems that we all use every day are developed, deployed, and maintained. 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. The goal of the workshop is to bring together both researchers and practitioners active in the area of component configuration of 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, constraint programming, answer set programming, 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 Daniel Le Berre (University Artois) MISC 2011 ========= The second Mancoosi International Solver Competition will be held in conjunction with the LoCoCo workshop, see http://www.mancoosi.org/misc. Important Dates =============== Monday, June 20 Submission deadline Monday, July 25 Notification about acceptance/rejection Wednesday, August 10 Final paper due Monday, September 12 Workshop Submission and Publication ========================== We solicit submissions of research papers describing original work. Submitted research papers must not have been previously published, nor be under consideration for publication elsewhere. This includes system descriptions and tutorial overview papers. System descriptions should come with an URL allowing to access or download the system, with preference to systems that can be downloaded under an open source licence. Presentations of system descriptions at the workshop should include a system demonstration. Besides regular research papers we also welcome short presentations reporting on recent or ongoing work. These are not subject to restriction as for previous, simultaneous, or future publication elsewhere. However, depending on the final choice of editor for the workshop proceeding, it may not be possible to include short presentations in the proceedings (though they will be made available to the workshop participants). We intend to publish the workshop proceedings with an open access archive. Authors of accepted papers will keep their copyright, but should be prepared to publish their paper under an open access licence and upload it to an archive server such as CoRR (details will be posted later). Submitted papers of both categories must not exceed a limit of 10 pages, and have to be prepared in LaTeX. Authors may provide pointers to additional online resources if necessary, and which the reviewers may use to their sole discretion. Submission is via Easychair at https://www.easychair.org/conferences/?conf=lococo2011 Program Committee ================= Fabien Dagnat, Brest Conrad Drescher, Oxford (co-chair) Gerhard Friedrich, Klagenfurt Ulrich Junker, ILOG Inês Lynce, Lisbon (co-chair) Toni Mancini, Roma Albert Oliveras, Barcelona Carsten Sinz, Karlsruhe Ralf Treinen, Paris (co-chair) Nic Wilson, Cork