Institute for Logic, Language and Computation

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.

The institute is deeply rooted in the Amsterdam logic research tradition dating back to the early twentieth century and covers the disciplines of mathematics, computational linguistics, linguistics, computer science, philosophy and artificial intelligence with staff members from the Faculty of Science and the Faculty of Humanities of the University of Amsterdam.


Research at the Institute for Logic, Language and Computation is organised into six research units. Below are short descriptions of these programs:

  • Mathematical and Computational Logic (MCL)
  • Formal Semantics and Philosophical Logic (FSPL)
  • Natural Language Processing and Digital Humanities (NLP&DH)
  • Epistemology and Philosophy of Science (EPS)
  • Language and Music Cognition (LMC)
  • Theoretical Computer Science (TCS)

Connect with us