Course Materials

Course: Categories, Proofs and Processes
Lecturer: Samson Abramsky

Course materials can be found at: LNPnotes.pdf
Slides: lecture 1, lecture 2, lecture 3, lecture 4, lecture 5
A paper on "Logic and Categories As Tools For Building Theories"
A paper on "Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics"


Course: Elementary Set Theory
Lecturer: Juliette Kennedy

This course is based on the book: Herbert Enderton: Elements of Set Theory, Academic Press, 1977.
Slides of Boban Velickovic's talk on "The Mathematical Theory of Infinity": guangzhou-boban.pdf


Course: Formal and Computational Semantics
Lecturer: Robin Cooper

Course materials can be found at:


Course: Generalized Quantifiers: Logical and Linguistic Aspects
Lecturer: Dag Westerståhl

Slides: Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5


Course: Generation of Referring Expressions in Natural Language
Lecturer: Kees van Deemter

Course materials can be found at:


Course: Inductive Logic
Lecturer: Jeff Paris

Course notes can be found at:


Course: Logical Computations in Multi-Agent Systems
Lecturer: Mehrnoosh Sadrzadeh

Course notes:


Course: Relational Databases, Logic, and Complexity
Lecturer: Phokion Kolaitis


Slides of the course "Principles of Database Systems":

Background reading: "Foundations of Databases: The Logical Level" by Serge Abiteboul, Richard Hull and Victor Vianu, Addison Wesley, 1995.


Course: Structures for Proofs
Lecturer: Greg Restall

Course materials can be found here.