Line-upT1 : Term 1 T2 : Term 2
14:00
Mark Greenstreet Introduction to Formal Verification and Analysis T1
14:05
Anne Condon Complexity of Computation T1
14:10
Andy Warfield Introduction to Bitcoin, Pokemon Go, Scalable Deep learning TBD
14:15
Ivan Beschastnikh Distributed systems T1
14:20
Joanna McGrenere Topics in HCI - Universal Usability, CSCW, and Personalization T2
14:25
Alla Sheffer Geometric modelling T1
14:30
Dinesh Pai Sensorimotor Computation T2
14:35
Ron Garcia Programming Language Principles T1
14:40
Reid Holmes Software Engineering T2
14:45
Jim LittleImage Understanding T2
14:50
Karon MacLean Human Computer Interaction T2
14:55
David Poole Topics in AI: statistical relational AI T2
15:00
Nick Harvey Topics in Algorithms T2
15:05
Tamara Munzner Information Visualization T2
15:10
Mark Schmidt Machine Learning T2