[finite-model-theory] CFP: FoIKS 2020