[finite-model-theory] [Vardi-list] ICLA 2025