[finite-model-theory] CfP: CLIRAI / CompLingInfoReasAI / Computational Linguistics,