Autumn 2012

Ian Hodkinson (imh) (Weeks 2 - 11)

Week 2 start date: Monday 8 October, 2012

Date Published: 7 December 2012

Time Monday Tuesday Wednesday Thursday Friday
0900

CO499 Modal and Temporal Logic
LEC (2-10) / a5,c4,j4,mres5,s5 / 144


1000
CO140 Logic
LEC (11-11) / c1,j1 / 308

CO140 Logic
LEC (2-10) / c1,j1 / 308
CO499 Modal and Temporal Logic
TUT (2-10) / a5,c4,j4,mres5,s5 / 144
CO499 Modal and Temporal Logic
LEC (2-10) / a5,c4,j4,mres5,s5 / 144

1100
CO140 Logic
LEC (11-11) / c1,j1 / 308

CO140 Logic
LAB (6-6) / c1,j1 / 219

CO140 Logic
TUT (2-10) / c1,j1 / 342,343,344



1200




1300




1400




1500




1600


CO140 Logic
LEC (2-10) / c1,j1 / 308

1700