From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5ADRcIM000709 for ; Fri, 10 Jun 2011 15:27:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoDAAgb8k2GnQCBkWdsb2JhbABSmBABAY4zFAEBAQEJCwsHFAMipmOPBJAqhiMEoQQ X-IronPort-AV: E=Sophos;i="4.65,347,1304287200"; d="scan'208";a="96560041" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Jun 2011 15:27:33 +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 p5ADR6c1006387 for ; Fri, 10 Jun 2011 15:27:20 +0200 (CEST) X-Ids: 165 Received: from vanadium.pps.jussieu.fr (vanadium.pps.jussieu.fr [134.157.168.23]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTPS id 62DD7C3821 for ; Fri, 10 Jun 2011 15:27:05 +0200 (CEST) Received: from treinen by vanadium.pps.jussieu.fr with local (Exim 4.72) (envelope-from ) id 1QV1jt-0006nC-C0 for caml-list@inria.fr; Fri, 10 Jun 2011 15:27:05 +0200 Date: Fri, 10 Jun 2011 15:27:05 +0200 Message-Id: To: caml-list@inria.fr From: Ralf Treinen X-Miltered: at jchkmail.jussieu.fr with ID 4DF21BAA.00E by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4DF21BAA.00E/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Validation-by: treinen@pps.jussieu.fr Subject: [Caml-list] Call for Participation: Mancoosi International Solver Competition The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2011/ Call for Participation The Mancoosi project (www.mancoosi.org) calls for the second international competition of solvers for package/component installation and upgrade problems. Instances of these problems are given by a set of currently installed or available software packages, with complex relations between them like dependencies, conflicts, and features. The problem instances used in the competition are expressed in a language called CUDF that allows to express relationships between components like they are known for instance in GNU/Linux distributions, or for Eclipse plugins. We are not only interested in finding some solution to such a problem, but in finding the best solution according to different optimization criteria. For a detailed description please look at the competition web page http://www.mancoosi.org/misc-2011/ Participating solvers will be judged by the correctness of the solution, the quality of the solution according to the respective optimization criteria, and speed. The results of the competition will be announced on September, 12, at the LoCoCo workshop at CP 2011 (http://lococo.irill.org/2011). Timeline: - August, 1: Registration of participants by email to misc-committee@sympa.mancoosi.univ-paris-diderot.fr - August, 12: Submission of solvers - September, 12: announcement of the results Organization Committee: Pietro Abate, University Paris-Diderot, France Roberto Di Cosmo, University Paris-Diderot, France (co-chair) Ralf Treinen, University Paris-Diderot, France (co-chair) Stefano Zacchiroli, University Paris-Diderot, France