The Institute for Logic, Language and Computation (ILLC) is the leading research institute in the interdisciplinary area dealing with the investigation of information, information exchange, and cognition with formal and mathematical methods.