[finite-model-theory] ICDT2020 CfP - Second Submission Cycle