	Computer Laboratory Computer Science Part II

Computer Science Part II
2002-03

Lecture rooms, times, and start dates are provisional and are subject to change. Please check the official timetable for up to date details.

Michaelmas

Artificial Intelligence II: Dr Sean Holden; Lecture Theatre 1 - William Gates Building (10:00 starting 10-10-2002)
HCI: Dr Alan Blackwell; Lecture Theatre 1 - William Gates Building (11:00 starting 10-10-2002)
Types: Prof Andrew Pitts; Lecture Theatre 1 - William Gates Building (12:00 starting 10-10-2002)
VLSI Design: Dr Peter Robinson; Lecture Theatre 1 - William Gates Building (10:00 starting 11-10-2002)
Digital Communications II: Prof Jon Crowcroft; Lecture Theatre 1 - William Gates Building (11:00 starting 11-10-2002)
Computer Systems Modelling: Dr Richard Gibbens; Lecture Theatre 1 - William Gates Building (12:00 starting 11-10-2002)
Advanced Graphics: Dr Neil Dodgson; Lecture Theatre 1 - William Gates Building (11:00 starting 07-11-2002)
Denotational Semantics: Prof Glynn Winskel; Lecture Theatre 1 - William Gates Building (12:00 starting 07-11-2002)
Specification and Verification I: Prof Mike Gordon; Lecture Theatre 1 - William Gates Building (12:00 starting 08-11-2002)
Additional Topics: Prof Andy Hopper; Lecture Theatre 1 - William Gates Building (10:00 starting 18-11-2002)

Comparative Architectures: Dr Ian Pratt; Lecture Theatre 2 - William Gates Building (10:00 starting 16-01-2003)
Optimising Compilers: Dr Alan Mycroft; Lecture Theatre 2 - William Gates Building (11:00 starting 16-01-2003)
Topics in Concurrency: Prof Glynn Winskel; Lecture Theatre 2 - William Gates Building (12:00 starting 16-01-2003)
Natural Language Processing: Dr Ann Copestake; Lecture Theatre 1 - William Gates Building (11:00 starting 17-01-2003)
Information Theory and Coding: Dr Neil Dodgson; Lecture Theatre 2 - William Gates Building (12:00 starting 17-01-2003)
Advanced Systems Topics: Dr Steven Hand and Others; Lecture Theatre 2 - William Gates Building (10:00 starting 05-02-2003)
Security: Dr Ross Anderson; Lecture Theatre 2 - William Gates Building (11:00 starting 05-02-2003)
Numerical Analysis II: Dr Mike O'Donohoe; Lecture Theatre 1 - William Gates Building (9:00 starting 14-02-2003)
Information Retrieval: Dr Simone Teufel; Lecture Theatre 2 - William Gates Building (12:00 starting 24-02-2003)

Distributed Systems: Dr Jean Bacon; Lecture Theatre 1 - William Gates Building (10:00 starting 24-04-2003)
Database Theory: Dr Gavin Bierman; Lecture Theatre 2 - William Gates Building (10:00 starting 25-04-2003)
Business Studies: Mr Jack Lang; Lecture Theatre 1 - William Gates Building (11:00 starting 25-04-2003)
E-Commerce: Mr Jack Lang; Lecture Theatre 2 - William Gates Building (11:00 starting 24-04-2003)
Specification and Verification II: Prof Mike Gordon; Lecture Theatre 2 - William Gates Building (12:00 starting 25-04-2003)



© 2003 University of Cambridge Computer Laboratory Please send any comments to pagemaster@cl.cam.ac.uk Page last updated on 24-Apr-2003 at 11:47 by Neil Dodgson