Spring 2014

Room 144 (Weeks 2 - 10)

Week 2 start date: Monday 20 January, 2014

Date Published: 17 January 2014

Time Monday Tuesday Wednesday Thursday Friday
0900
CO481 Models of Concurrent Computation (ISO)
LEC (2-8) / yoshida (2-8) / a5,s5
CO480 Automated Reasoning
LEC (2-9) / gdh10 (2-9),kb (2-9) / a5,c4,i4,j4,mres,s5
CO493 Intelligent Data & Probablistic Inference
LEC (2-9) / dfg (2-9) / a5,c4,i4,j4,mres,s5,v5
CO491 Knowledge Representation
LEC (2-9) / mjs (2-9) / a5,c4,j4,mres,s5
1000
CO481 Models of Concurrent Computation (ISO)
TUT (2-8) / yoshida (2-8) / a5,s5
CO480 Automated Reasoning
LEC (2-9) / gdh10 (2-9),kb (2-9) / a5,c4,i4,j4,mres,s5
CO493 Intelligent Data & Probablistic Inference
TUT (2-9) / dfg (2-9) / a5,c4,i4,j4,mres,s5,v5
CO491 Knowledge Representation
TUT (2-9) / mjs (2-9) / a5,c4,j4,mres,s5
1100 CO440 Software Reliability
LEC (2-9) / afd (2-9) / c4,j4,s5
CO481 Models of Concurrent Computation (ISO)
LEC (2-8) / yoshida (2-8) / a5,s5
CO527 Computer Networks & Distributed Systems
LEC (2-10) / ecl1 (2-10),prp (2-10) / i2,j3,v5

CO527 Computer Networks & Distributed Systems
LEC (2-10) / ecl1 (2-10),prp (2-10) / i2,j3,v5
1200 CO530 Software Engineering Practice
LEC (2-6) / mr07 (2-6) / s5,v5



CO530 Software Engineering Practice
LEC (2-6) / mr07 (2-6) / s5,v5
1300




1400

Machine Learning Seminar
LEC (2-9) / mpd37 (2-9) / a5,mres,s5
CO343 Operations Research
LEC (2-9) / gcasale (2-9) / c3,i3,j3,j4,s5
CO491 Knowledge Representation
LEC (2-9) / mjs (2-9) / a5,c4,j4,mres,s5
1500
CO141J Reasoning about Programs (JMC)
LEC (2-10) / mrh (2-10) / j1
Machine Learning Seminar
TUT (5-5) / mpd37 (2-10) / a5,mres,s5
CO343 Operations Research
LEC (2-9) / gcasale (2-9) / c3,i3,j3,j4,s5
CO491 Knowledge Representation
TUT (2-9) / mjs (2-9) / a5,c4,j4,mres,s5
1600


CO484 Quantum Computing
LEC (2-9) / herbert (2-9) / a5,c4,i4,j4,s5
CO480 Automated Reasoning
LEC (2-9) / gdh10 (2-9),kb (2-9) / a5,c4,i4,j4,mres,s5
1700


CO484 Quantum Computing
LEC (2-9) / herbert (2-9) / a5,c4,i4,j4,s5
CO480 Automated Reasoning
LEC (2-9) / gdh10 (2-9),kb (2-9) / a5,c4,i4,j4,mres,s5