[Caml-list] Call for Participation: Mancoosi International Solver Competition

[Caml-list] Call for Participation: Mancoosi International Solver Competition

[Ralf Treinen]

       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

[Caml-list] Call for Participation: Mancoosi International Solver Competition

[Ralf Treinen]

       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