[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

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs