[finite-model-theory] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)