Home | News | People | Programme | Student Session | Registration | Accommodation | Venue | Visa Info | Practical Info | Tourist Info | Contact |

# 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: http://www.ling.gu.se/~cooper/fcompsem-sellc10/

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: http://www.csd.abdn.ac.uk/~kvdeemte/Guangzhou-2010/

Course: Inductive Logic

Lecturer: Jeff Paris

Course notes can be found at: http://www.maths.manchester.ac.uk/~jeff/lecture-notes/Guangzhou.pdf

Course: Logical Computations in Multi-Agent Systems

Lecturer: Mehrnoosh Sadrzadeh

Course notes: SELLC-1.zip

Course: Relational Databases, Logic, and Complexity

Lecturer: Phokion Kolaitis

Slides: http://users.soe.ucsc.edu/~kolaitis/talks/gii09-final.pdf

Slides of the course "Principles of Database Systems": http://www.soe.ucsc.edu/classes/cmps277/Winter10/Lectures.html

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.