[finite-model-theory] 1st Logic Prizes Contest : Papers of all the Winners now on-line