The mission of the Computational Logic project is to put to work the abstract theories and logics developed at the Institute for Logic, Language and Computation. Building on traditional themes of the institute, such as modal logic and natural language semantics, the Computational Logic group is focused on content, and on representing, accessing, and manipulating content in textual and non-textual form. Our leading strategy is the development and deployment of dedicated `variable weight' methods: methods that allow us to represent content at appropriate levels of detail and analysis, with suitable algorithms to match these representations. Such specialized methods are then combined, in a modular way, to address more ambitious content-manipulation tasks. This strategy is a multi-faceted one, raising both foundational questions (to what extent is efficiency representation-independent?) and experimental challenges (what kind of representations turn a task such as subsumption checking into a do-able task?); the group's research activities cover both of these aspects partly in projects involving industrial partners.