Lo Institute for Logic Language and Computation