\r\n\r\n\r\n15:00<\/div><\/td>\r\n \r\nStudents staying at Selwyn College get the keys to their rooms<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n16:00<\/div><\/td>\r\n \r\nWelcome and tea<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n16:30<\/div><\/td>\r\n \r\nBus transportation from Selwyn College to the go-karting venue<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a017:00<\/div><\/td>\r\n \r\n\r\n\r\nGo-karting and dinner (casual clothing; we recommend wearing old shoes)\r\n Note: The number of spaces for go-karting is limited, so we'll select drivers on a first-come first-served basis.<\/em>\r\n\r\n<\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a022:00<\/div><\/td>\r\n \r\n\u00a0Bus transportation back to Selwyn College<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\nTuesday,\u00a03 July 2012<\/h2>\r\n\r\n\r\n\r\nTime<\/th>\r\n | Session<\/th>\r\n | Speaker<\/th>\r\n | <\/th>\r\n<\/tr>\r\n<\/thead>\r\n | \r\n\r\n\r\n09:00<\/div><\/td>\r\n \r\nBus to Microsoft Research<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a009:30<\/div><\/td>\r\n \r\nRegistration<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n10:15<\/div><\/td>\r\n \r\nWelcome <\/strong><\/div><\/td>\r\n\r\nScarlet Schwiderski-Grosche<\/a>, Microsoft Research<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n10:30<\/div><\/td>\r\n \r\nMicrosoft Research Cambridge Lab Overview<\/b><\/strong><\/div><\/td>\r\n\r\nKen Woodberry<\/a>\r\n(Microsoft Research)<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a011:00<\/div><\/td>\r\n \r\nFunctional First Programming in an Information-Rich World <\/b><\/b><\/strong><\/div><\/td>\r\n\r\n\r\n\r\n Kenji Takeda<\/a>\r\n(Microsoft Research)\r\n\r\n<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n12:00<\/div><\/td>\r\n \r\nLunch and poster session 1<\/a><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a014:00<\/div><\/td>\r\n \r\nParallel sessions<\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nRealising Touchless Interaction in the Operating Theatre<\/b><\/div><\/td>\r\nHelena Mentis\r\n(Microsoft Research)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nPlanetary Prediction Services for Society<\/strong><\/div><\/td>\r\nMatthew Smith<\/a>\r\n(Microsoft Research)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nTRANSFORM* Session<\/b><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nPlanetary Prediction Services for Society<\/strong><\/div><\/td>\r\nPeter Sewell\r\n(University of Cambridge)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n15:00<\/div><\/td>\r\n \r\nBreak<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n15:15<\/div><\/td>\r\n \r\nParallel sessions<\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nMachine Learning for Medical Image Analysis<\/b><\/strong><\/div><\/td>\r\n\r\nAntonio Criminisi<\/a>\r\n(Microsoft Research)<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nTowards Predictable Data Centers- Why Johnny Can't Use the Cloud and What Can We Do About It?<\/b><\/strong><\/div><\/td>\r\n\r\nThomas Karagiannis <\/a>(Microsoft Research)<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nTRANSFORM* Session<\/b><\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nHow do multicore machines actually behave? (Part 2)<\/b><\/strong><\/div><\/td>\r\nPeter Sewell\r\n(University of Cambridge)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n16:15<\/div><\/td>\r\n \r\nBreak<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n16:45<\/div><\/td>\r\n \r\nParallel sessions<\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nProving that Programs Eventually Do Something Good<\/b><\/strong><\/div><\/td>\r\n\r\nByron Cook\r\n(Microsoft Research)<\/div><\/td>\r\n <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nHuman Computing and Crowdsourcing in Search<\/b><\/strong><\/div><\/td>\r\n\r\nGabriella Kazai\r\n(Microsoft Research)<\/div><\/td>\r\n <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nTRANSFORM* Session<\/b><\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nSTM in the Small: Trading Generality for Performance in Software Transactional Memory<\/b><\/strong><\/div><\/td>\r\n\r\nAleksandar Dragojevic<\/a> (Microsoft Research)<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n17:45<\/div><\/td>\r\n \r\nBus transportation to punting location<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n18:00<\/div><\/td>\r\n \r\nPunting on the River Cam<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n19:30<\/div><\/td>\r\n \r\nDinner at The Riverside Restaurant<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\nWednesday,\u00a04 July 2012<\/h2>\r\n\r\n\r\n\r\nTime<\/th>\r\n | Session<\/th>\r\n | Speaker<\/th>\r\n | <\/th>\r\n<\/tr>\r\n<\/thead>\r\n | \r\n\r\n\r\n09:00<\/div><\/td>\r\n \r\nBus to Microsoft Research<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n09:30<\/div><\/td>\r\n \r\nMicrosoft Academic Search<\/b><\/strong><\/div><\/td>\r\n\r\nAlex Wade<\/a>\r\n(Microsoft Research)<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n10:30<\/div><\/td>\r\n \r\nBreak<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n11:00<\/div><\/td>\r\n \r\nHow to\u00a0Write a Great Research Paper<\/b><\/strong><\/div><\/td>\r\n\r\n\r\n\r\n Simon Peyton-Jones<\/a>\r\n(Microsoft Research)\r\n\r\n<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n12:00<\/div><\/td>\r\n \r\nLunch and poster session 2<\/a><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n14:00<\/div><\/td>\r\n \r\nHow to\u00a0Give a Great Research Talk<\/b><\/strong><\/div><\/td>\r\n\r\n\r\n\r\n Simon Peyton-Jones<\/a>\r\n(Microsoft Research)\r\n\r\n<\/div><\/td>\r\n<\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a015:00<\/div><\/td>\r\n \r\nParallel sessions<\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nMicrosoft Research Connections and Cloud Computing for Science<\/b><\/div><\/td>\r\nFabrizio Gagliardi\r\n(Microsoft Research)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nTRANSFORM* Session<\/b> <\/b><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\nFrom Transactions to Data flow and Back Again (Part 1<\/b>)<\/b><\/div><\/td>\r\nMikel Lujan\r\n(University of Manchester)<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n16:00<\/div><\/td>\r\n \r\nBreak<\/div><\/td>\r\n <\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n\r\n\u00a016:30<\/div><\/td>\r\n \r\n\u00a0 Parallel sessions<\/strong><\/div><\/td>\r\n<\/td>\r\n | <\/td>\r\n<\/tr>\r\n | \r\n<\/td>\r\n | \r\n | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |