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