[finite-model-theory] CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019