Institute for Logic Language & Computation (ILLC)