[finite-model-theory] [CfP] CASUAL2020: Workshop on Causal Reasoning and Explanation in Logic Programming