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.

Prof. Johan van BenthemEmeritus University Professor of Pure and Applied Logic, University of Amsterdam, and Henry Waldgrave Stuart Professor of philosophy, Stanford University.

'Johan van Benthem elected member of American Academy'


Research at the Institute for Logic, Language and Computation is organized into three core programmes.


Members of the ILLC are involved in many courses and teaching programs, at all levels.

  • 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.

  • 111149-Opleiding-vakmatig-RhetoricArgumentationTheo.jpg

    Language and Music Cognition

    The Language and Music Cognition unit uses computational models and artificial intelligence to study questions of semantics and meaning, both linguistic and musical, and tests the behavioural implications of these models for speakers, signers, musicians, readers, and listeners.

  • 1298.jpg

    Epistemology and Philosophy of Science

    Researchers in this unit focus on the use of computational models and analytic methods coming from logic, probability theory and game theory to address a number of topics in formal epistemology and in the methodology and philosophy of science broadly conceived.

  • Artis_Bibliotheek_fotoMoniqueKooijmans.jpg

    Formal Semantics and Philosophical Logic

    The research focus of this unit is the study, through the application of formal tools, of information transfer and communication through meaningful language use, as well as of key philosophical problems. The unit brings together researchers who are a leading force within formal semantics and pragmatics and within philosophical logic.

  • 20191115_123908.jpg

    Mathematical and Computational Logic

    The unit focuses on gaining a deeper understanding of the nature of information and the processes of reasoning and computation. While being best known for our work in intuitionistic and modal logic, we cover most of the classical areas of mathematical logic such as set theory, computability theory, category theory, proof theory and algebraic logic.

  • 298.jpg

    Natural Language Processing and Digital Humanities

    Research in the Natural Language Processing and Digital Humanities unit focuses on automated analysis, interpretation and generation of human language and their extension towards language technology. Our work encompasses a range of topics within natural language processing (NLP), such as syntactic parsing, computational semantics and pragmatics, discourse processing, dialogue modelling, machine translation and multilingual NLP.

  • bijgewerkte_MoL_foto.jpg

    Master of Logic

    The MSc in Logic is an international and interdisciplinary Master's degree offered by the University of Amsterdam. It is organized as part of the Graduate Programme in Logic (GPiL) by the Institute for Logic, Language and Computation (ILLC). The Graduate Programme offers courses and research training in foundations of mathematical and philosophical logic, and their applications in computer science, linguistics, and cognitive science.

  • phdprogramme_header_bar.jpg

    PhD Programme

    The ILLC PhD programme, organised by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a four-year programme designed to support and guide PhD candidates in their track to become highly qualified scientific researchers in the areas described by the institute's research mission. PhD candidates are given the opportunity to benefit from a rich scientific programme as well as a tailor-made transferable-skills programme.