[finite-model-theory] pods 02, call for paper