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