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 sympa.inria.fr (Postfix) with ESMTPS id 560DD7ED26 for ; Fri, 15 Jun 2012 16:35:00 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.75,778,1330902000"; d="scan'208";a="163085958" Received: from murdock.inria.fr (HELO murdock.irill.org) ([128.93.60.68]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Jun 2012 16:35:00 +0200 Received: from rt by murdock.irill.org with local (Exim 4.77) (envelope-from ) id 1SfXYj-0002yi-8C for caml-list@inria.fr; Fri, 15 Jun 2012 16:31:33 +0200 To: caml-list@inria.fr Message-Id: From: Ralf Treinen Date: Fri, 15 Jun 2012 16:31:33 +0200 X-Validation-by: treinen@pps.univ-paris-diderot.fr Subject: [Caml-list] Call for Participation: Mancoosi International Solver Competition The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2012/ Call for Participation IRILL, the the Center for Research and Innovation on Free Software, calls for the third 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-2012/ 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, 8, at the LoCoCo workshop at ICLP 2012 (http://lococo.irill.org/2012). Timeline: - August, 1: Registration of participants by email to misc-committee at sympa.mancoosi.univ-paris-diderot.fr - August, 13: Submission of solvers - September, 8: 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