[finite-model-theory] SQUARE'2020 - Leuven - Extended Deadline May 31