Group of Logic, Language and Computation @ KCL