Schedule for MGS 2012 lectures
Mon 23/4 Tue 24/4 Wed 25/4 Thu 26/4 Fri 27/4
09:00 - 10:00 Fun (LG32, LC) Fun (LG32, LC) Fun (LG32, LC) Fun (LG32, LC) Fun (LG32, LC)
10:00 - 11:00 Cat (LG32, LC) Cat (LG32, LC) Cat (LG32, LC) Cat (LG32, LC) Cat (LG32, LC)
11:00 - 11:30 Reg./Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS)
11:30 - 12:30 Lam (LG32, LC) Lam (LG32, LC) Lam (LG32, LC) Lam (LG32, LC) Lam (LG32, LC)
12:30 - 14:00 Lunch Lunch Lunch Lunch Lunch/Review
14:00 - 15:00 CatFun (LG32, LC)/ Kleene (LG33, LC) CatFun (LG32, LC)/ Kleene (LG34, LC) CatFun (LG32, LC)/ Kleene (LG33, LC) CatFun (LG32, LC)/ Kleene (LG33, LC)
15:00 - 16:00 CON (LG32, LC) CON (LG32, LC) CON (LG32, LC) CON (LG32, LC)
16:00 - 16:30 Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS)
16:30 - 17:30 LogRel (LG32, LC)/Prov (LG33, LC) LogRel (LG32, LC)/Prov (LG33, LC) LogRel (LG32, LC)/Prov (LG33, LC) LogRel (LG32, LC)/Prov (LG33, LC)
17:30 - 18:30 Inf Obj (LG32, LC) Inf Obj (LG32, LC) Inf Obj (LG32, LC) Inf Obj (LG32, LC)

Schedule for MGS 2012 exercises
Mon 23/4 Tue 24/4 Wed 25/4 Thu 26/4 Fri 27/4
09:00 - 10:00 CatFun (LG33, LC) / Kleene (LG34, LC) CatFun (LG33, LC) / Kleene (LG34, LC) CatFun (LG33, LC) / Kleene (LG34, LC) CatFun (LG33, LC) / Kleene (LG34, LC)
10:00 - 11:00 Inf Obj (LG33, LC)/CON (LG34, LC) Inf Obj (LG33, LC)/CON (LG34, LC) Inf Obj (LG33, LC)/CON (LG34, LC) Inf Obj (LG33, LC)/CON (LG34, LC)
11:00 - 11:30 Reg./Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS)
11:30 - 12:30 LogRel (LG33, LC)/Prov (LG34, LC) LogRel (LG33, LC)/Prov (LG34, LC) LogRel (LG33, LC)/Prov (LG34, LC) LogRel (LG33, LC)/Prov (LG34, LC)
14:00 - 15:00 Fun (LG34, LC) Fun (LG34, LC) Fun (LG34, LC) Fun (LG34, LC)
15:00 - 16:00
16:00 - 16:30 Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS) Coffee (Atrium, CS)
16:30 - 17:30 Lam (LG34, LC) Lam (LG34, LC) Lam (LG34, LC) Lam (LG34, LC)
17:30 - 18:30 Cat (LG34, LC) Cat (LG34, LC) Cat (LG34, LC) Cat (LG34, LC)

Key for lectures:

Cat Category Theory
CatFun Category and Functors
CON Constructive Mathematics and Type Theory
Fun Advanced Functional Programming
LogRel Logical Relations
Kleene Kleene Algebras
Inf Obj Computing with Infinite Objeccts
Lam Typed Lambda Calculus
Prov Provability, Fixed Points and Clock Ticks

Key for rooms (the figures in brackets are the numbers on the campus map):

LG32, LC LG32 in the lower ground floor in the Learning Centre (R28)
LG33, LC LG33 in the lower ground floor in the Learning Centre (R28)
LG34, LC LG33 in the lower ground floor in the Learning Centre (R28)
Atrium, CS Atrium in the Computer Science building (Y9)