[finite-model-theory] LATA 2020: 1st call for papers