From: Ralf.Treinen@pps.jussieu.fr (Ralf Treinen)
To: caml-list@inria.fr
Subject: Call for Participation: Mancoosi International Solver Competition
Date: Thu, 22 Apr 2010 17:38:21 +0200 [thread overview]
Message-ID: <1271950701.609833.16427.nullmailer@vanadium.pps.jussieu.fr> (raw)
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
reply other threads:[~2010-04-22 15:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1271950701.609833.16427.nullmailer@vanadium.pps.jussieu.fr \
--to=ralf.treinen@pps.jussieu.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox