[finite-model-theory] FoIKS 2022: Call for participation