Computer Science Part IB

University of Cambridge Computer Laboratory

Lecture rooms, times, and start dates are provisional. Please check the official timetable for correct details.

Michaelmas

ECAD
Dr Simon Moore
Arts School Room A (10:00 starting 07-Oct-99)
Semantics of Programming Languages
Dr Andrew Pitts
Rayleigh Lecture Theatre (12:00 starting 07-Oct-99)
Concurrent Systems
Dr Jean Bacon
Rayleigh Lecture Theatre (10:00 starting 08-Oct-99)
Logic and Proof
Dr Larry Paulson
Heycock Room (12:00 starting 08-Oct-99)
Digital Electronics (for those who have not previously attended this course)
Prof Ian Leslie
Arts School Room A (11:00 starting 09-Oct-99)
Data Structures and Algorithms
Dr Martin Richards
Heycock Room (11:00 starting 18-Oct-99)
Computer Design
Dr Simon Moore
Arts School Room A (10:00 starting 26-Oct-99)
Numerical Analysis I
Dr Mike O'Donohoe
Arts School Room A (11:00 starting 04-Nov-99)
Further Java
Dr Peter Robinson
Heycock Room (10:00 starting 05-Nov-99)
Unix Tools
Dr Ian Pratt
Heycock Room (11:00 starting 08-Nov-99)
Continuous Mathematics
Dr John Daugman
Heycock Room (11:00 starting 24-Nov-99)

Lent

Comparative Programming Languages
Dr Martin Richards
Arts School Room A (10:00 starting 20-Jan-00)
Operating System Functions
Dr Steven Hand
Arts School Room A (11:00 starting 20-Jan-00)
Compiler Construction
Dr Arthur Norman & Dr Martin Richards
Arts School Room A (10:00 starting 21-Jan-00)
Computation Theory
Dr Ken Moody
Arts School Room A (11:00 starting 21-Jan-00)
Digital Communication I
Prof Ian Leslie
Arts School Room A (10:00 starting 17-Feb-00)
Prolog for Artificial Intelligence
Dr William Clockson
Arts School Room A (11:00 starting 18-Feb-00)
Introduction to Security
Dr Ross Anderson
Rayleigh Lecture Theatre (12:00 starting 07-Mar-00)
Computer Graphics and Image Processing
Dr Neil Dodgson
Arts School Room A (10:00 starting 08-Mar-00)

Easter

Foundations of Functional Programming
Dr Arthur Norman
Heycock Room (11:00 starting 27-Apr-00)
Databases
Dr Ken Moody
Arts School Room A (10:00 starting 28-Apr-00)
Complexity Theory
Dr Anuj Dawar
Arts School Room A (11:00 starting 28-Apr-00)

Computer Lab Home | Lecture Course Home

Generated at 11:58.46 on 21/9/1999