Research at the Institute for Logic, Language and Computation is organized 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)