[finite-model-theory] 2nd Call for Workshop Proposals - The 36th International Conference on Logic Programming (ICLP2020)