[finite-model-theory] [PODS 2019] Phokion Kolaitis Special Event