Workshop on Logic, Language, Information and Computation, 1-4 July