Judges

Three judges are in charge of taking decisions when rules are unclear and of validating the results of the competition. The selection of instances used in the competition is assigned to an independent committee which is nominated by the judges. The judges can be reached at cspcomp-jury $\left\langle\text{\texttt{at}}\right\rangle$cril.univ-artois.fr. They are:

• Helmut SIMONIS, h.simonis $\left\langle\text{\texttt{at}}\right\rangle$4c.ucc.ie,
  Cork Constraint Computation Centre (4C), Ireland.
• George KATSIRELOS, george.katsirelos $\left\langle\text{\texttt{at}}\right\rangle$nicta.com.au,
  NICTA, Sydney, Australia.
• Matt STREETER, matts $\left\langle\text{\texttt{at}}\right\rangle$cs.cmu.edu,
  Google, USA.