[finite-model-theory] ICALP-LICS 2020 Call for Workshops