Institute for Logic, Language and Computation

Welcome to the Institute for Logic, Language and Computation, a research institute in the interdisciplinary area between mathematics, linguistics, music, computer science, philosophy and artificial intelligence.

News

Prof. Johan van BenthemEmeritus University Professor

'Johan van Benthem elected member of American Academy and is Emeritus University Professor of Pure and Applied Logic, University of Amsterdam, and Henry Waldgrave Stuart Professor of philosophy, Stanford University.'

Research

Education

Partnership

ILLC People in the Media

  • 2015_ILLC-Harry_Buhrman_college_LDingemans_4.jpg

    Theoretical Computer Science

    In theoretical computer science, our research is characterised by a focus on fundamental questions regarding the design and analysis of algorithms. We investigate problems motivated by applications in physics, economics, and AI.