Search

7 Oct 2009: 15 October. Peter Cook. (CO2CRC). Geological storage of CO2; lessons learned from Australia's CO2CRC Otway Project.

29 Sep 2009: derive some general lessons about the formalization of mathematics.

16 Jan 2009: Computer Laboratory. Course material 2008–09. ». Semantics of Programming Languages. 2008–09. Principal lecturer: Dr Peter Sewell. Taken by:Notes: colour, (ps) and (pdf) , and monochrome, (ps) and (pdf). Model implementations of the languages.

11 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Programming Languages. 2009–10. Principal lecturer: Dr Peter Sewell. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Network Architecture. 2009–10. Principal lecturer: Prof Jon Crowcroft. Additional lecturers:Taken by:Reading: papers. Assessment: student's talks. Coursework:2009 Computer Laboratory,

5 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Low Power Embedded Systems Programming. 2009–10. Principal lecturer: Dr Ian Wassell. Additional lecturer: Brian Jones. Taken by:Workbooks. Projects. Docs. Supporting Documentation. Code

10 May 2009: ECONOMICS & LAW Nicholas Bohm lecture notes 2009. Aim. To provide an overview to illustrate.

26 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». An Algebraic Approach to Internet Routing. 2009–10. Principal lecturer: Dr Timothy G. Approach The course takes a high-level, top-down approach to the analysis and design of Internet

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Types. 2009–10. Principal lecturer: Prof Andrew Pitts. Taken by:including slides) [black & white pdf]. Just the slides [colour pdf]. Additional material:. Naive implementations of the ML

13 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Semantics of Programming Languages. 2009–10. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Large print: colour and

29 Apr 2009: Computer Laboratory. Course material 2008–09. ». System-on-Chip: Design and Modelling. 2008–09. Principal lecturer: Dr David Greaves. Taken by:This course is arranged into eight different topics. These cover all of the material in the published

16 Feb 2009: Computer Laboratory. Course material 2008–09. ». Floating-Point Computation. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:see also below). Lecturer-provided information:. Course slides (as printed). An easy magazine article by Cleve

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Topics in Security: Forensic Signal Analysis. 2009–10. Principal lecturer: Dr Markus Kuhn. Contributing lecturer: Mr Andrew Lewis. Taken by:This reading class takes place in room SW01 at

17 Apr 2009: Computer Laboratory. Course material 2008–09. ». Compiler Construction. 2008–09. Principal lecturer: Prof Alan Mycroft. Taken by:Here are various items for the 2008/09 version of this course:. on CUP. on C#, ANTLR and many mini compiler-writing

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Natural Language Processing. 2008–09. Principal lecturer: Dr Anna Korhonen. Taken by:Ann Copestake, the same as 2007-8). Slides (Ann Copestake, the same as 2007-8). Machine Translation slides

7 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Chip Multiprocessors. 2009–10. Principal lecturer: Dr Robert Mullins. Taken by:Lectures notes, papers, assignments etc. are all available from the course web site. 2009 Computer Laboratory,

17 Aug 2009: Computer Laboratory. Course material 2009–10. Advanced Topics in Concurrency. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2009 Computer

17 Aug 2009: Computer Laboratory. Course material 2009–10. Introductory Logic. 2009–10. Principal lecturer: Dr Thomas Forster. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2009 Computer Laboratory,

26 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Natural Language Processing. 2009–10. Principal lecturer: Dr Ann Copestake. Taken by:Some NLP and language related links:lecture 4). 2009 Computer Laboratory, University of Cambridge.

17 Aug 2009: Computer Laboratory. Course material 2009–10. Set Theory for Computer Science. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2009 Computer