[finite-model-theory] Computability in Europe 2020 SECOND CALL FOR PAPERS