ICoS-2: "Inference in Computational Semantics"