[finite-model-theory] ICALP-LICS-FSCD joint call for workshops