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