From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id D68D4BBAF for ; Thu, 22 Apr 2010 17:38:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUFAH0K0EuGnQCBaGdsb2JhbACQJAEBjAEVDQoJBxMDH790hQ8E X-IronPort-AV: E=Sophos;i="4.52,257,1270418400"; d="scan'208";a="48910978" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Apr 2010 17:38:23 +0200 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 o3MFcMSp014567 for ; Thu, 22 Apr 2010 17:38:23 +0200 (CEST) X-Ids:166 Received: from vanadium.pps.jussieu.fr (vanadium.pps.jussieu.fr [134.157.168.23]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with SMTP id o3MFcLcR024724 for ; Thu, 22 Apr 2010 17:38:21 +0200 From: Ralf.Treinen@pps.jussieu.fr (Ralf Treinen) Received: (nullmailer pid 16428 invoked by uid 2072); Thu, 22 Apr 2010 15:38:21 -0000 To: caml-list@inria.fr Subject: Call for Participation: Mancoosi International Solver Competition Date: Thu, 22 Apr 2010 17:38:21 +0200 Message-Id: <1271950701.609833.16427.nullmailer@vanadium.pps.jussieu.fr> X-Virus-Scanned: ClamAV 0.94.2/10750/Thu Apr 15 21:23:29 2010 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail2.jussieu.fr with ID 4BD06D6E.003 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4BD06D6E.003/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; ralf:01 ralf:01 solver:01 solver:01 solvers:01 dependencies:01 solvers:01 zacchiroli:01 pps:01 conflicts:01 jussieu:01 optimization:03 optimization:03 gnu:03 floc:04 The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2010/ Call for Participation The Mancoosi project (www.mancoosi.org) calls for the first 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 two different optimization criteria. For a detailed description please look at the competition web page http://www.mancoosi.org/misc-2010/ 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 July 10 on the LoCoCo workshop at FLoC (http://lococo2010.mancoosi.org/). Timeline: - May 31: Registration of participants by email to misc-committee@sympa.mancoosi.univ-paris-diderot.fr - June 10: Submission of solvers - July 10: 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