Spring 2014

Krysia Broda (kb) (Weeks 2 - 10)

Week 2 start date: Monday 20 January, 2014

Date Published: 17 January 2014

Time Monday Tuesday Wednesday Thursday Friday
0900

CO480 Automated Reasoning
LEC (2-9) / a5,c4,i4,j4,mres,s5 / 144


1000

CO480 Automated Reasoning
LEC (2-9) / a5,c4,i4,j4,mres,s5 / 144


1100




1200




1300




1400




1500




1600



CO480 Automated Reasoning
LEC (2-9) / a5,c4,i4,j4,mres,s5 / 144
1700



CO480 Automated Reasoning
LEC (2-9) / a5,c4,i4,j4,mres,s5 / 144,202,206