[finite-model-theory] Call for location ICALP 2025