Computer Laboratory

Advanced Computer Design
Algebraic Path Problems, with applications to Internet Routing
Automated Reasoning
Category Theory and Logic
Chip Multiprocessors
Principles and Foundations of Computer Security
Image Processing and Image Coding
Innovative User Interfaces
Introduction to Natural Language Processing
Introductory Logic
Low Power Embedded Systems Programming
Multicore Semantics and Programming
Network Architectures
Programming for Mobiles
Research Skills
Spoken Language Processing
Word Meaning and Discourse Understanding
Advanced Topics in Concurrency
Biomedical Informatics
Building an Internet Router
Categorical Models of Computational Languages
Current Applications and Research in Computer Security
Data Centric Networking
Flows in Networks
Interactive Formal Verification
Language and Concepts
Machine Learning for Language Processing
Nominal Sets and Their Applications
Social and Technological Network Analysis
Statistical Machine Translation
Syntax and Semantics of Natural Language
System on Chip Design and Modelling
Topics in Logic and Complexity
Usability of Programming Languages

Course pages 2012–13

Category Theory and Logic

Syllabus
Course materials
Assessment

Assessed exercises in Agda.

The Agda assessed exercises are in exam2012.agda. They were set on 15 November 2012 and they are due 25 November 2012 (email to me). Please hand a paper copy to Katherine by 27 November. Contact Katherine for further details about the deadlines and submission procedures.

Agda can be accessed within Emacs on the MPhil machines. There is more information about agda on the materials page.