[finite-model-theory] FoIKS 2020: preliminary CFP