[finite-model-theory] First Call for Papers: DEON 2025