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