The steps were:

  • You subscribe to our announcment mailing list so that you'll be informed of all future developments of the competition.
  • We publish the rules, sample problem instances, and some useful tools that you may use. You can find all of this from the current page.
  • You announce to us by mail to misc-committee@sympa.mancoosi.univ-paris-diderot.fr your (non-binding) intention to participate in the competition. From this moment on and until the deadline for submissions we will help you to clear possible questions and problems with the setup. The deadline for this is May 31, 2010.
  • You send us your solver before the deadline, following the procedure described here. The deadline for submitting a solver is June 10, 2010 June 13, 2010, 23h59 UT.
  • We run here at University Paris-Diderot all the submitted solvers on the same problem set in an environment described here, and determine the winner, according to these rules. The exact problem set used for the competition will of course be secret until the announcement of the results, including for the other partner sites of the mancoosi project.
  • The winner(s) of both tracks will be announced at the International Workshop on Logics for Component Configuration (LoCoCo 2010) on July, 10 in Edinburgh, and of course on this web site.

We have done a test run of the competition in January 2010. If you are curious you may look at the blog post reporting on the first test-run, and the web site with all the gory details. However, don't forget that the rules have changed since the first test-runs, so do not confuse the rule sets of different competitions!