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

Dr. Luca IncurvatiAssoicate Professor in Philosophical Logic

'In the study of human language and the logical codification of arguments, assertion has taken centre stage. But only by giving rejection its due can we explain how meaning emerges from our linguistic interactions and inferential practices.'

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.