Class sign up
From Spivey's Corner
St. Catherine's, Somerville, University and Oriel Colleges
Computer Science Classes for 2011–12
Sign up – Class members
Please add your initials under a class in order to sign up for it. To do this, you'll have to click on the Edit link for the appropriate section, and remember to save your changes. And to do that, you'll have to create an account.
Contents |
Michaelmas Term
Models of Computation
Mike (Oriel students) – Monday 2:00 and 3:00, weeks 2?, 4, 6 + one or 2 more.
Quentin (AZ) – Tuesdays 4-5, weeks 2,4,6,7,8
Gavin (Catz students) – Tuesdays 4.15-5.45, weeks 2,4,6,7,8
Object Oriented Programming
Mike (Oriel students + AZ) – Monday 1:30 - 3:00pm, weeks 3, 5, 7, 8
Computer Graphics
MP, EB, LL, NW, WH
Mike – Friday 12 noon, weeks 2, 4, 6, 8, Oriel 5/2.
Databases
MP, JM, EB, JR, NW, LP, WH?
Bernardo – Monday 4:15pm, weeks 4, 5, 6, 8.
Formal Program Design
JM?, LP
Quentin – Tuesdays 12-1, weeks 2-8
Computer Security
Andrew Ker – Fridays of weeks 3, 4, 6, and 8, work due by end of lecture the day before
Fridays at 11am: BG, JGH, GC, KC, SX
Fridays at 4:30pm: LL, AX, MY, MK, BP
Computer-Aided Formal Verification
AX, LL, MK, BG
Tom – Friday 2-3 weeks 3,5,7,8 (Weeks 7 and 8 TBC)
λ-Calculus
AX, LL, SX, MK, JGH, BP, KC, GC
Quentin (Somerville & Univ students) Wednesdays 12-1, weeks 2-8
Quentin (Oriel & Catz students) Wednesdays 2-3, weeks 2-8
Intelligent Systems
MY, LL, MK, KC, BG, GC, SX?
Bernardo – Thursday 4pm, weeks 4, 5, 7, 8.
Principles of Programming Languages
AX, MY, JGH, BP
Mike – Monday 4pm, weeks 3, 5, 7, 8, Oriel 5/2.
Other courses
Please attend departmental classes for
Integer Programming --
NSDE1 --
Communication Theory --
Hilary Term
Concurrency
AZ, NW, LP, WH, JR
Quentin (Somerville & Oriel students) --
Wednesday 2.00, week 2 (Somerville, Park 40);
Tuesday 2.00, weeks 4,6,8 (Somerville, Darbishire 15).
Advanced Data Structures and Algorithms
JM, JR, NW, LP, KC
Mike: Mondays at 4:00, weeks 3, 5, ... (Work by 9am at Oriel Lodge, please).
Compilers
MP, JR, NW, LP, WH, EB
Quentin --
Tuesday 2.00, weeks 3,5,7 (Somerville, Darbishire 15);
Wednesday 12.00, week 8 (Somerville, Park 40).
Concurrent Programming
Wednesday (3, 5, 7, 8) - 3:30 - Room TBA - MP, JM, EB
Wednesday (3, 5, 7, 8) - 4:30 - Room TBA - JR, NW, LP, BP, WH
Logic and Proof
AZ
Computational Complexity
AX, JGH, GC, MY?, BP
Knowledge Representation and Reasoning
MY, MK, BG?
Reasoning about Information Update
Gavin: Tuesdays, weeks 3-8, 2:00: AX, JGH, KC, GC
Gavin: Tuesdays, weeks 3-8, 3:15: MY, LL, BG, SX, MK, BP
Other courses
Please attend departmental classes for
Machine Learning – SX, MK, JGH, BP, MY?
Geometric Modelling – MY
NSDE2 --
Set Theory --
Trinity Term
Computer Architecture
BG, KC
Networks
MP, JM, EB, JR, WH, GC
