Class sign up

From Spivey's Corner
Jump to: navigation, search

St. Catherine's, Somerville, University and Oriel Colleges

Computer Science Classes for 2016–17

Sign upClass 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. (If you have lots of changes to make, it's easier to click on the Edit tab at the top of the page.)

Michaelmas Term

Models of Computation

Catz: TD, NH, SL, CS, WP, CT. Tutor: Gavin. Wednesdays, 16:15 and 17:15, weeks 2, 4, 6, 8.

Somerville: IV, TD, AH, PHB. Tutor: Quentin. Wednesdays, 3-4 and 4-5, weeks 2468. Collection class Wednesday week 1 (Hilary), 14.00-16.00.

Oriel: BP, AV, AI

Univ: MR, JC, DM, CV, GV

Object Oriented Programming

Catz: TD, NH, SL, CS, WP, CT

Somerville: IV, TD, AH, PHB

Oriel: BP, AV, AI

Univ: MR, JC, DM, CV, GV

Databases

Catz: JT

Somerville: LY, IV

Oriel: AV, HP, RH, AH, DV, EC?, AI?

Univ: RKn, MR, GV, RV

Tutor: Bernardo Cuenca Grau

Weeks 4,5,6, and 8.

Group 1: Mondays 3pm weeks 5,6, and 8 in Room 013 RHB.

              The first tutorial on week 4 will be on Friday 4pm in Room 051

Group 2: Thursdays 11am. Room 013 RHB

Intelligent Systems

Catz: TD, CS, SL, NH, Tutor: Shimon Whiteson Tue week 3, 3pm + Fri weeks 468, 3pm

Somerville: RK, LY, IV, RB, Tutor: Bernardo Cuenca Grau. Tue weeks 5,6,8, 3pm in Room 013 RHB. The first tutorial will be in Week 4; see below for details.

Oriel: BP, AL, AV, HP, AH, EC, AI, TM. Tutor: Bernardo Cuenca Grau. Tue weeks 5,7,8, 2pm in Room 013RHB. The first tutorial will be in Week 4; see below for details.

Univ: MR, RR, CV, GV, GT, BS, Tutor: Shimon Whiteson Tue week 3, 1:30pm + Fri weeks 468, 2pm


Tutorials on Week 4 tutored by Bernardo Cuenca Grau. The arrangements are as follows:

- Group 1: Thursday 2pm, Room 114, RHB

- Group 2: Friday 2pm, Room 051

Note of change: Weeks 6 IS Tutorials by Bernardo Cuenca Grau changed to Week 7. The location will be as usual, but the times will be from 3-4pm (Group 1) and 4-5pm (Group 2).

Computer-Aided Formal Verification

Catz: SM

Somerville:

Oriel: AL, RH, AH, DV

Univ:

Tutor: David Mestel Thu weeks 3578, 12 noon

Computer Security

Catz: SM, JT?, KS

Somerville: RB

Oriel: AL, RH, AH, DV, TM

Univ: RKn, RV, GT

Classes: Bill Roscoe Thursdays Weeks 2,4,6,8 at 3pm and 4pm. Some later dates may change. Venue TBC. Please had work in to Bill via Univ Lodge by 12 noon on Tuesdays.

ADDED 28.10: I could not get a room for 3pm this Thursday. Have got the Tony Hoare Room (RHB) this Thursday 4-6 and the other Thursdays 3-5. Come along to whichever of 4 and 5 suits you best this week.

Machine Learning

Catz 3rd years: SM, JT, KS, CB, Tutor: Shimon Whiteson, Friday weeks 357 + 12 Jan, 11:45am

Catz 4th years: PH Tutor: Shimon Whiteson, Friday weeks 357 + 12 Jan, 1:45pm

Somerville: RK, LY, RB, Tutor: Shimon Whiteson, Friday weeks 357 + 12 Jan, 4:15pm

Oriel: DV Tutor: Shimon Whiteson, Friday weeks 357 + 12 Jan, 4:15pm

Univ: RKn, RR, BS, RV, Tutor: Shimon Whiteson, Friday weeks 357 + 12 Jan, 1:45pm

Principles of Programming Languages

Catz: SM, KS

Somerville: RK, RB

Oriel: RH, AH, DV

Univ:

Tutor: Quentin – classes at Somerville on Fridays, weeks 3578, 9.45-10.45 (RK,RB,DV) and 4.15-5.15 (SM,KS,RH,AH)

Please submit work by Wednesday lunchtime – Somerville lodge or CS reception

Collection class: Tuesday week 2 (Hilary) 10.20-12.00

Revision class: Friday week 3 (Trinity), 14.00-16.00 (Oriel), 16.00-18.00 (Som, Catz)

Integer Programming

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

JT

Hilary Term

Concurrent Programming

Catz: TD, NH, SL, CS, WP, CT (Tuesdays, weeks 357, 1:45, 2:45; another slot to be arranged.)

Somerville: IV, TD, AH, PHB (Tuesdays, weeks 3578, 10.30-11.30 & 11.30-12.30)

Oriel: BP, AV, AI

Univ: MR, JC, DM, CV, GV

Algorithms and Data Structures

For Catz and Oriel: Stefano Gogioso, Tuesday 12noon-1pm and Friday 12noon-1pm, weeks 3,5,7,8. Hand work into my Oriel PH by 12noon day before.

Somerville and Univ: David Mestel, Tuesdays 357 2–5pm (plus week 8 TBC)

Catz: CB, TD, TH, CS, SL, NH

Oriel: BP, AV, HP, EC, AI

Somerville: RK, IV, LY

Univ:BS, CV, GV

Compilers

Catz: TD, CS, SL, NH

Somerville: IV

Oriel: AH, BP, HP, EC, JP

Univ: MR

Quentin's classes: Wednesdays, weeks 3578, 11.30-12.30 (TD, AH, MR, BP, HP); 15.00-16.00 (CS, SL, NH, IV, EC)

All classes in Somerville, Park 40. Please submit work to Somerville lodge or CS reception by Monday lunchtime.

Collection class: Friday week 1 (Trinity) 9.00-11.00

Revision class: Wednesday & Thursday week 4 (Trinity), 11.00-13.00

Concurrency

Catz: CS, SL, NH, JT, TH (Tuesdays, weeks 2468, 1:45)

Somerville: IV (Weeks 3578; Thursday 16:30 with Thomas Gibson-Robinson)

Oriel: AI? (Weeks 3578; Thursday 16:30 with Thomas Gibson-Robinson)

Univ: CV, GV, GT (Weeks 3578; Thursday 17:30 with Thomas Gibson-Robinson)

Computational Complexity

Catz: SM, CB, AD, CL, KS, TH

Somerville: LY, RB

Oriel: AL, AH, DV, RH

Univ: RKn, BS, RV, GT

Tutor: Bernardo Cuenca Grau

Hand in work at CS reception addressed to Bernardo Cuenca Grau by the departmental deadline for each sheet.

GROUP 1: Thursdays 11am Weeks 3-8. Room 114 RHB.

GROUP 2: Thursdays 2pm Weeks 3-8. Week 3: Oriel College, Conference Room 1; Week 4: Oriel College, Sanders Room; Week 5: Oriel College, Conference Room 1; Week 7: Oriel College, Conference Room 1; Week 8: Oriel College, Basil Mitchell Room

Geometric Modelling

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

Catz: KS, JT

Somerville:

Oriel:AL

Univ: RKn

Knowledge Representation and Reasoning

Catz: SM

Somerville: RK

Oriel: TM, DV

Univ: RR


Tutor: Bernardo Cuenca Grau

Class times: Tuesdays 4pm on Weeks 3, 4, 6, 7, and 8

Deadlines for submitting work: Same as those for the departmental classes.

Location: Room 051

Lambda Calculus and Types

Catz: SM, JT, KS, SH, CB

Somerville: RK, LY, RB

Oriel: TM, RH, AH, DV

Univ: RR, BS, RV, GT

Quentin's classes: Thursdays, weeks 3-8, 10.30-11.30 (Oriel & Steve), 12.00-13.00 (Som & Chan), 14.00-15.00 (Catz & Tina) – all in Somerville, Park 40. Please submit work to Somerville lodge or CS reception by Tuesday lunchtime.

Collection class: Friday week 1 (Trinity) 16.00-18.00

Revision class: Thursday week 4 (Trinity) 9.00-11.00 & 14.00-16.00

Logic and Proof

Catz: TD, NH, SL, CS, WP, CT

Somerville: IV, TD, AH, PHB

Oriel: BP, AV, AI

Univ: MR, JC, DM, CV, GV

Somerville and Univ: David Mestel, Tuesdays weeks 2468 1–5

Set Theory

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

RH, RK, AH

Trinity Term

Computer Graphics

Catz: TD, AD, TH

Somerville:

Oriel: HP?, EC, AI, BP, AL

Univ:

Computer Architecture

Catz: AD, TH

Somerville:

Oriel: AL

Univ: MR

Computer Networks

Catz: TH

Somerville: RK, RB

Oriel: AV?, EC?

Univ: RKn, RV, CV

Personal tools

Variants
Actions
Navigation
Tools