[finite-model-theory] Barry Cooper Prize - Call for Nominations