Computer Laboratory

Advanced Computer Design
Algebraic Path Problems, with applications to Internet Routing
Automated Reasoning
Building an Internet Router
Category Theory and Logic
Chip Multiprocessors
Computer Security: Principles and Foundations
Data Centric Systems and Networking
Introduction to Natural Language Syntax and Parsing
Lexical Semantics
Low Power Embedded Systems Programming
Modern Compiler Design
Multicore Semantics and Programming
Overview of Natural Language Processing
Research Skills
Research Students Lectures
Spoken Language Processing
Theories of Interaction and Socio-digital Design
A Mathematical Theory of Distributed Games and Strategies
Advanced Functional Programming
Advanced Operating Systems
Advanced Syntax and Semantics of Natural Language
Advanced Topics in Denotational Semantics
Biomedical Information Processing
Computer Security: Current Applications and Research
Discourse Processing
Flows in Networks
Interactive Formal Verification
Language and Concepts
Machine Learning for Language Processing
Sensor Fusion and Location Aware Computing
Social and Technological Network Analysis
System on Chip Design and Modelling
Usability of Programming Languages
Critical Coding for Digital Humanities

Course pages 2014–15

Syntax and Semantics of Natural Language

Syllabus
Course materials
Assessment

Ticked Assignment 1 is due in at noon on Friday, 6th February (5%)
Ticked Assignment 2 is due in at noon on Friday, 13th February (5%)

Practical

For the practical on Friday 27th February, you must come to SW02 at or soon after 9am to get your tick (10%), but you may get started beforehand by going to /usr/groups/acs-software/L107/ and reading practical.txt