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