{"id":270684,"date":"2016-08-04T14:21:05","date_gmt":"2016-08-04T21:21:05","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=270684"},"modified":"2018-07-26T14:15:01","modified_gmt":"2018-07-26T21:15:01","slug":"phd-summer-school-2010","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2010\/","title":{"rendered":"PhD Summer School 2010"},"content":{"rendered":"<h3>Links<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.facebook.com\/group.php?gid=130890773603576\" target=\"_self\">Summer School 2010 Facebook Group<\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\"><br \/>\n<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2009\/\" target=\"_self\">Summer School 2009<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Links Microsoft Research Cambridge Summer School 2010 Facebook Group Summer School 2009<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2010-06-28","msr_enddate":"2010-07-02","msr_location":"Cambridge, UK","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":true,"footnotes":""},"research-area":[],"msr-region":[239178],"msr-event-type":[],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-270684","msr-event","type-msr-event","status-publish","hentry","msr-region-europe","msr-locale-en_us"],"msr_about":"<h3>Links<\/h3>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.facebook.com\/group.php?gid=130890773603576\" target=\"_self\">Summer School 2010 Facebook Group<\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">\r\n<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2009\/\" target=\"_self\">Summer School 2009<\/a><\/li>\r\n<\/ul>","tab-content":[{"id":0,"name":"About","content":"<img class=\"size-full wp-image-270702 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/2010_summer_school_group_photo_small.jpg\" alt=\"2010_summer_school_group_photo_small\" width=\"375\" height=\"249\" \/>The fifth Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 28 June through 2 July 2010. It included a series of talks of academic interest and poster sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.\r\n\r\nInvited students will include PhD students at the end of their first year from a number of universities and research institutions Microsoft Research partners with and all the Microsoft Research 2009 PhD Scholars.\r\n\r\nLectures and posters sessions are public and open to all research staff and students from the University of Cambridge.\r\n\r\n<a href=\"http:\/\/www.bing.com\/maps\/?v=2&amp;cp=51.93011633500112~0.5862091776620844&amp;lvl=9&amp;sty=h&amp;cid=6E7A125C1BB148A6!2611&amp;eo=0\" target=\"_self\">Map of venues<\/a>"},{"id":1,"name":"Agenda","content":"<h2>Monday,\u00a028 June 2010<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\"><\/th>\r\n<th class=\"th\"><\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>Students staying\u00a0at <a href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_self\">Jesus College\u00a0<\/a>get the keys to their rooms<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Welcome and tea<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation\u00a0from Jesus College to the go-karting venue<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">22:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Jesus College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Tuesday,\u00a029 June 2010<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>\r\n<div>Registration<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">10:30<\/div><\/td>\r\n<td>\r\n<div><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div><\/td>\r\n<td>Andrew Blake\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>,\r\n(Microsoft Research)<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch and poster session 1 (see posters guidelines)<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">13:45<\/div><\/td>\r\n<td>\r\n<div>Bus transportation to London<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:30<\/div><\/td>\r\n<td><a href=\"http:\/\/royalsociety.org\/Summer-of-Science\/\" target=\"_self\">Royal Society Festival of Science<\/a>, London<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">18:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Free time in London<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">21:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Cambridge<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Wednesday,\u00a030 June 2010<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Presentation skills<\/strong><\/div><\/td>\r\n<td>Ken Shaw (Benchmark Communication Techniques)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">10:30<\/div><\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">11:00<\/div><\/td>\r\n<td><strong>Presentation content<\/strong><\/td>\r\n<td>Simon Peyton-Jones\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>Lunch and posters session 2 (see posters guidelines)<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">14:00<\/div><\/td>\r\n<td>Rough guide to being an entrepreneur<\/td>\r\n<td>Jack Lang\r\n(University of Cambridge)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:15<\/div><\/td>\r\n<td><strong>Parallel session\u00a0<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Simulating global carbon-climate feedback<\/strong><\/td>\r\n<td>Drew Purves\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Molecular programming<\/strong><\/td>\r\n<td>Luca Cardelli\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:15<\/div><\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:45<\/div><\/td>\r\n<td><strong>Parallel session<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Infer.NET and probabilistic programming<\/strong><\/td>\r\n<td>John\u00a0Winn\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Ten things you don\u2019t know about Microsoft<\/strong><\/td>\r\n<td>Derick Campbell\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">17:45<\/td>\r\n<td>Bus transportation to punting location<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">18:00<\/td>\r\n<td>Punting on the river Cam<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">19:30<\/td>\r\n<td>Dinner at <a href=\"http:\/\/www.lamimosa.co.uk\/\" target=\"_self\">La Mimosa<\/a><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Thursday,\u00a01 July 2010<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td><strong>From data to knowledge<\/strong><\/td>\r\n<td>Sydney Brenner\r\n(Salk Institute)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">10:30<\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">11:00<\/td>\r\n<td><strong>Parallel sessions<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Fun with F#: Solving complex problems with simple code<\/strong><\/td>\r\n<td>Anton Schwaighofer (Microsoft)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Simulation and data analysis with windows azure<\/strong><\/td>\r\n<td>Austin Donnelly\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">12:00<\/td>\r\n<td>Lunch and posters session 3 (see posters guidelines)<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">14:00<\/td>\r\n<td><strong>From driving to trafficking: the developing view of the user in computer systems design<\/strong><\/td>\r\n<td>Richard Harper\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:15<\/div><\/td>\r\n<td><strong>Presentations of past students<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>From program analysis research to industrial programming language development<\/strong><\/td>\r\n<td>Andy Maule (PhD at University College London; now at Microsoft Corp)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Static contract checking for Haskell<\/strong><\/td>\r\n<td>Dana N. Xu (PhD at the University of Cambridge; now at INRIA)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Communications, travel and social networks<\/strong><\/td>\r\n<td>Lynne Hamill\r\n(University of Surrey)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:15<\/div><\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:45<\/div><\/td>\r\n<td><strong>Presentations of past students<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Tracking and localisation for speech and robotics<\/strong><\/td>\r\n<td>Maurice Fallon\r\n(PhD at the University of Cambridge; now at MIT)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Acquiring syntactic and semantic transformations in question answering<\/strong><\/td>\r\n<td>Michael Kaisser\r\n(PhD at the University of Edinburgh; now at Microsoft Bing STC Europe)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>To infinity and beyond with nonparametric Bayesian methods<\/strong><\/td>\r\n<td>Jurgen Van Gael\r\n(University of Cambridge)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:30<\/div><\/td>\r\n<td>Bus transportation to Murray Edwards College<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">18:00<\/div><\/td>\r\n<td>Drinks, Drinks, and group photo<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">19:00<\/div><\/td>\r\n<td>Dinner at Murray Edwards College<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Friday,\u00a02 July 2010<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>Clound computing for research<\/td>\r\n<td>Fabrizio Gagliardi\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">10:30<\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">11:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Parallel sessions<\/strong><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>Introduction to intellectual property<\/td>\r\n<td>Carole Boelitz (Microsoft)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>Poster presentations for non native English speakers<\/td>\r\n<td>Sue Duraikan\r\n(Duraikan Training)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>BBQ<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">13:30<\/td>\r\n<td>\u00a0End and bus transportation to Jesus College<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"},{"id":2,"name":"Speakers and Abstracts","content":"<h2>Talk Abstracts and Speaker Biographies<\/h2>\r\n[accordion]\r\n\r\n[panel header=\"Simon Peyton Jones | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270747 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj.jpg\" alt=\"simonpj\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj_paper.pptx\">How to write a great research paper<\/a><\/h2>\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj_talk.pptx\">How to give a great research talk<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWriting papers and giving talks are key skills for any researcher, but they aren\u2019t easy. In this pair of presentations, I\u2019ll describe simple guidelines that I follow for writing papers and giving talks, which I think may be useful to you too. I don\u2019t have all the answers \u2013 far from it \u2013 and I hope that the presentation will evolve into a discussion in which you share your own insights, rather than a lecture.\r\n<h3>Biography<\/h3>\r\nSimon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, garbage collection, and so on. He is particularly motivated by direct use of principled theory to practical language design and implementation \u2013 that\u2019s one reason he loves functional programming so much. He is also keen to apply ideas from advanced programming languages to mainstream settings.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Ken Shaw | Benchmark Communication Techniques\"]\r\n<h2><img class=\"size-full wp-image-270729 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ken.jpg\" alt=\"ken\" width=\"100\" height=\"132\" \/>Giving a good presentation<\/h2>\r\n<h3>Abstract<\/h3>\r\nLecture, Presentation or Conversation? We will examine: Who your audience is; What they want; Why you are addressing them; How you handle practical issues like nerves, body language, speech &amp; voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.\r\n<h3>Biography<\/h3>\r\nKen Shaw has taught communication skills to MBA students at Judge Business School for 17 years. He has also taught at Said Business School, London Business School, Cass Business School, Henley Management College, ESMT in Berlin, Bled School of Management plus Leicester, Nottingham and Bristol universities. He has delivered training for commercial clients in France, Germany, Switzerland, The Bahamas, Holland, Norway, America, The Caribbean, Australia and Singapore.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jack Lang | Lecturer and Entrepreneur, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270723 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack.jpg\" alt=\"jack\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack_lang.ppt\">Rough guide to being an entrepreneur<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nAt some stage you might want to exploit your ideas by starting a company, just as Bill Gates and Paul Allen did in 1975. It might even be the next Microsoft, or bought by them. I\u2019ll give an overview of the process, explain some of the success factors investors look for, and how to go about writing a business plan and getting off the ground.\r\n<h3>Biography<\/h3>\r\nJack Lang is a serial entrepreneur and business angel with high-tech and internet companies based in Cambridge, where he is Entrepreneur in Residence, Centre for Entrepreneurial Learning, at the Judge Business School, University of Cambridge, an affiliated Lecturer and member of the Faculty Board at the Computer Lab and a by-fellow of Emmanuel College. His latest venture is as co-Founder of <a href=\"http:\/\/artimi.com\/\">Artimi<\/a>, which is making the next generation of ultra wide band wireless chips. Previously he was founder of Netchannel Ltd, an early Interactive TV company which was acquired by ntl: where he became Chief Technologist. Before that founder of Electronic Share Information Ltd, one of the first online brokerages, acquired by E*Trade Inc. Prior to that he started a consultancy (now SAIC UK Ltd) that was involved in the early days of the \"Cambridge Phenomenon\", and was a proper academic at the Computer Lab. He is author of \"The High Tech Entrepreneurs Handbook\" (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Luca Cardelli | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270732 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/luca_cardelli.jpg\" alt=\"luca_cardelli\" width=\"100\" height=\"132\" \/><a href=\"http:\/\/lucacardelli.name\/Talks\/2010-06-30%20Molecular%20Programming%20(MSRC%20PhD%20Summer%20School).pdf\">Molecular programming<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nMoore's law is pushing technology towards smaller and smaller devices, and quite soon we will reach the ultimate goal: devices made of single molecules. At that point we will need to engineer systems one molecule at a time, using tools of comparable accuracy. Molecular engineering is already in full swing, but that usually means building ad-hoc molecular devices that lack programmability.\r\n\r\nNucleic acids (DNA\/RNA) encode information digitally, and are currently the only truly \u2018user-programmable\u2019 entities at the molecular scale. The fact that they have biological origin is incidental: they are just very handy engineering materials. DNA\/RNA can be used to manufacture nano-scale and meso-scale structures, produce physical forces, act as sensors and actuators, and also to compute. They are unique in that they are both materials and carriers of information: they are programmable matter. Moreover they can interface to biological entities, with enormous medical implications: we will be able to detect and cure diseases at the cellular level under program control.\r\n\r\nThe (bio-)technology to create and manipulate nucleic acids has existed for many years, but the imagination necessary to exploit them programmatically has been evolving slowly. Recently, some simple computational schemes have been developed that are autonomous (run completely on their own once initialized) and involve only short, easily synthesizable, DNA strands with no other complex molecules. Since DNA computation is massively concurrent, some tricky and yet familiar issues arise: the need to formally analyze and verify molecular programs to avoid subtle deadlocks and race conditions, and the need to design high-level languages and compilers that exploit concurrency and stochasticity.\r\n\r\nMolecular programming is the emerging discipline of designing and constructing molecular system that behave algorithmically, in carrying out computation, in forming physical and dynamic structures, or both.\r\n<h3>Biography<\/h3>\r\nLuca Cardelli was born near <a href=\"http:\/\/www.montecatini.com\/\">Montecatini Terme<\/a>, Italy, studied at the <a href=\"http:\/\/www.di.unipi.it\/welcome.html\">University of Pisa<\/a> (until 1978-07-12), and has a Ph.D. in computer science from the <a href=\"http:\/\/www.dcs.ed.ac.uk\/lfcsinfo\/\">University of Edinburgh<\/a> (1982-04-01). He worked at <a href=\"http:\/\/www.bell-labs.com\/\">Bell Labs, Murray Hill<\/a>, from 1982-04-05 to 1985-09-20, and at Digital Equipment Corporation, Systems Research Center in <a href=\"http:\/\/www.city.palo-alto.ca.us\/\">Palo Alto<\/a>, from 1985-09-30 to 1997-10-31, before assuming a position on 1997-11-03 at <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research<\/a>, in <a href=\"http:\/\/www.cambridge.gov.uk\/cambridge.htm\">Cambridge UK<\/a>, where he is currently Principal Researcher and head of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/programming-principles-and-tools\/\">Programming Principles and Tools<\/a> and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/constructive-security\/\">Security<\/a> groups.\r\n\r\nHis main interests are in type theory and operational semantics (for applications to language design, semantics, and implementation), and in concurrency theory (for applications to computer networks and to modeling biological systems). He implemented the first compiler for <a href=\"http:\/\/www.smlnj.org\/\">ML<\/a> (one of the most popular typed functional language, whose recent incarnations are <a href=\"http:\/\/caml.inria.fr\/\">Caml<\/a> and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/try-f\/\">F#<\/a>) and one of the earliest direct-manipulation <a href=\"http:\/\/lucacardelli.name\/Papers\/Toolkit.pdf\">user-interface editors<\/a>. He was a member of the Modula-3 design committee, and has designed a few experimental languages, including Obliq: a distributed higher-order scripting language (voted most influential POPL'95 paper 10 years later), and <a href=\"http:\/\/lucacardelli.name\/indexPapers.html#ModernConcurrencyAbstractionsForCSharp\">Polyphonic C#<\/a>, a distributed extension of C#. His more protracted research activity has been in establishing the semantic and type-theoretic foundations of object-oriented languages, resulting in the 1996 book \"<a href=\"http:\/\/lucacardelli.name\/TheoryOfObjects.html\">A Theory of Objects<\/a>\" with Martin Abadi. More recently he has focused on modeling global and mobile computation, via the <a href=\"http:\/\/lucacardelli.name\/Ambients.html\">Ambient Calculus<\/a> and <a href=\"http:\/\/lucacardelli.name\/SpatialLogics.htm\">Spatial Logics<\/a>, which indirectly led to a current interest in <a href=\"http:\/\/lucacardelli.name\/BioComputing.htm\">Systems Biology<\/a> and stochastic systems.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Drew Purves | Scientist, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270717 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/drew_purves.jpg\" alt=\"drew_purves\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/drew_purves.pptx\">Simulating global carbon-climate feedback<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWe will provide an overview of the global carbon cycle and its potential roles in accelerating or mitigating historic and future climate change\u2014and introduce a carbon-climate modeling system developed recently at Microsoft Research Cambridge. We will begin with a global summary of current natural and anthropogenic sources and sinks of carbon, explaining the methods scientists have used to estimate these numbers. Next, we will consider the scientific challenge of predicting the future of these sources and sinks, both in terms of the biological and socioeconomic processes that must be considered and in terms of the model structures, data sources, statistical machinery, and computational power\u2014and, therefore, the novel software tools\u2014needed to make the predictions more reliable. Key issues will be illustrated\u2014and new predictions about the carbon cycle made\u2014using the new carbon-climate modeling system, one instantiation of which can be seen in a related TechFest demo, Understanding and Preserving Life-Support Systems.\r\n<h3>Biography<\/h3>\r\nDrew Purves is a computational ecologist in the Computational Sciences Lab at Microsoft Research in Cambridge. Purves studied and researched at Cambridge, York, and Princeton before joining Microsoft Research in 2007. His research focuses on populations and communities of plants, especially forests, and has led to about 20 publications in peer-reviewed journals, including \u201cScience,\u201d \u201cPNAS,\u201d and \u201cProc Roy Soc B.\u201d\r\n\r\n[\/panel]\r\n\r\n[panel header=\"John Winn | Research, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270726 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/john_winn.jpg\" alt=\"john_winn\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/john_winn.pptx\">Infer.NET and probabilistic programming<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWould you like to write software that can adapt to new situations, learn from examples or work with uncertain information? Infer.NET is a machine learning framework that lets you build such capabilities easily using a new way of programming called <em>probabilistic programming<\/em>. Probabilistic programs can work with uncertain or unknown variables and even uncertain execution. By using such programs, you can combine detailed domain knowledge with the latest machine learning algorithms to generate tailored code to solve your problem. I\u2019ll explain what probabilistic programming is and give some example of using it for search and for online gaming.\r\n<h3>Biography<\/h3>\r\nJohn Winn is a researcher in the machine learning group at Microsoft Research Cambridge. He did his doctorate on inference frameworks and has also been working on Infer.NET since its inception. At Microsoft Research, he has worked on applications ranging from recognising Bill Gates\u2019 glasses in a live video to understanding the genetic causes of asthma. His goal is to make powerful machine learning techniques accessible to everyone.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Derick Campbell | Director of Engineering, Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/derick_campbell.pptx\">Ten things you don\u2019t know about Microsoft<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThink you know everything about Microsoft? Join the fun and learn several tips and tricks about Microsoft software that can help scientists in their research, cool new technologies, and insight into Microsoft culture and history.\r\n<h3>Biography<\/h3>\r\nDerick Campbell is a twenty year software engineering veteran with a rich history of product development, product incubation, and enterprise IT management. Derick\u2019s team in External Research ships free, open source Research Accelerators that help scientists and researchers accelerate their time to insight. In his recent career, Derick has been involved with several products at Microsoft, including dozens of <a href=\"http:\/\/www.microsoft.com\/SolutionAccelerators\">Solution Accelerators<\/a>, <a href=\"http:\/\/www.microsoft.com\/sharedaccess\">Windows SteadyState<\/a>, and the <a href=\"http:\/\/www.microsoft.com\/MSF\">Microsoft Solutions Framework<\/a>.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Sydney Brenner | Senior Distinguished Fellow, Salk Institute\"]\r\n<h2><img class=\"size-full wp-image-270753 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sydney_brenner.jpg\" alt=\"sydney_brenner\" width=\"100\" height=\"132\" \/>From data to knowledge<\/h2>\r\n<h3>Abstract<\/h3>\r\nThis is the great challenge for biology today. It is also the great challenge for computer science; bioinformatics is not enough and computational biology is still in its infancy. We have to have a theory of the computational arhitecture of biological systems, of how outcomes are generated in the hardware of living systems. Computational biology must reflect biological computation. I will discuss this in my talk and give some examples as to how this can inform knowlesge systems for biology\r\n<h3>Biography<\/h3>\r\nSydney Brenner, Senior Distinguished Fellow of the Crick-Jacobs Center, is one of the past century's leading pioneers in genetics and molecular biology. Most recently, Brenner has been studying vertebrate gene and genome evolution. His work in this area has resulted in new ways of analyzing gene sequences, which has developed a new understanding of the evolution of vertebrates.\r\n\r\nAmong his many notable discoveries, Brenner established the existence of messenger RNA and demonstrated how the order of amino acids in proteins is determined. He also conducted pioneering work with the roundworm, a model organism now widely used to study genetics. His research with Caenorhabditis elegans garnered insights into aging, nerve cell function and controlled cell death, or apoptosis.\r\n\r\nSydney is a 2002 Nobel prize in Physiology or Medicine laureate, shared with H. Robert Horvitz and John Sulston.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Austin Donnelly | Research Software Development Engineer, Microsoft Research\"]\r\n<h2><img class=\"wp-image-270711 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/austin_donnelly.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/austin_donnelly.pptx\">Simulation and data analysis with Windows Azure<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nResearch is being increasingly driven by the generation and analysis of datasets. Traditionally, datasets were manually entered into computers, but today\u2019s datasets can be huge because they are computer generated: either the results of simulations or automated observations of the real world. In this talk I\u2019ll describe Windows Azure, an environment for running your code on servers located around the world in Microsoft\u2019s datacenters. This allows you to run large-scale simulations, and analyse the results before your paper deadline!\r\n<h3>Biography<\/h3>\r\nAustin Donnelly is a Research Software Development Engineer (RSDE) in the Systems group at Microsoft Research, Cambridge. His most recent interests are in enterprise storage, from both a power-management and performance perspective. He helped build a system which can redirect disk writes across a network to allow disks to be spun down for extended periods of time, saving power. He has worked on a number of projects, including the Ethernet topology discovery protocol which shipped in Windows Vista.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Anton Schwaighofer | Applied Researcher, Microsoft\"]\r\n<h2><img class=\"size-full wp-image-270708 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/anton_schwaighofer.jpg\" alt=\"anton_schwaighofer\" width=\"100\" height=\"132\" \/>Fun with F#: Solving complex problems with simple code<\/h2>\r\n<h3>Abstract<\/h3>\r\nI'll give an introduction to F#, a functional programming language that is very well suited to express complex ideas and problems. I'll start with the key ideas of functional programming, and contrast simple examples with traditional programming languages such as Matlab or C. In addition, I will present two particular features of F# that make it very well suited for data intensive scientific computing: It is very easy to do parallel programming; and units of measure provide valuable sanity checks for mathematical expressions.\r\n<h3>Biography<\/h3>\r\nAnton Schwaighofer is working as an Applied Researcher at Microsoft Research Cambridge and Microsoft adCenter Redmond. His current area of focus is economic models of auction marketplaces in online advertising. He is a computer scientist by training, but moved on to work in statistical machine learning for his PhD (TU Graz, Austria). After working for some time on computational chemistry at the Intelligent Data Analysis group at a Fraunhofer Institute in Berlin, he joined Microsoft Research in February 2008.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Richard Harper | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"wp-image-270744 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richard_harper.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richard_harper.ppt\">From driving to trafficking: the developing view of the user in computer systems design<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I shall introduce the role of the user in computer systems design, explore how understanding of who and what the user is has developed over the years with examples, and report on how current research at Microsoft is designing for forms of user behaviours that were not imagined just a few years ago.\r\n<h3>Biography<\/h3>\r\nRichard Harper is Principal Researcher at Microsoft Research in Cambridge and co-manages the Socio-Digital Systems group. Richard is concerned with how to design for 'being human' in an age when man-as-machine type metaphors, deriving from Turing and others, tend to dominate thinking in the area. Trained as a sociologist and with a strong passion for ordinary language philosophy, he has published over 100 papers and is about to publish his 10th book, Texture: Human expression in the age of communication overload, (MIT Press). Amongst his prior books is the IEEE award winning The Myth of the Paperless Office (MIT Press,2002), co-authored with Abi Sellen. His work is not only theoretical or sociological, but also includes the design of real and functioning systems, for work and for home settings, for mobile devices and for social networking sites. Numerous patents have derived from his work.Prior to joining Microsoft Research, Richard helped lead various technology innovation and knowledge transfer companies, while in 2000 he was appointed the UK\u2019s first Professor of Socio-Digital Systems, at the University of Surrey, England. It was here he also set up the Digital World Research Centre. Prior to this he was a researcher at Xerox PARC's fifth lab, EuroPARC, in Cambridge. He completed his Phd at Manchester in 1989.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andy Maule | Software Developper Engineer, Microsoft\"]\r\n<h2><img class=\"size-full wp-image-270705 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andy_maule.jpg\" alt=\"andy_maule\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andy_maule.pptx\">From program analysis research to industrial programming language development<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nDuring my PhD I was offered the chance to be an intern with the Oslo product team at Microsoft in Redmond. As a research student in program analysis with some industrial experience, I was in the privileged position of being able to work on the design and implementation of a new programming language called M. After completing my PhD I accepted a job offer to continue working with the Oslo team on the M programming language. In this talk I will describe my PhD work, how it led me to my current job and what it\u2019s like as a former research student in industry.\r\n<h3>Biography<\/h3>\r\nAndy Maule is a software development engineer at Microsoft Corporation working on the M programming language as part of the Oslo project. He completed his PhD at University College London in 2009, studying static analysis of programming languages to help mitigate the effects of database schema changes. His interests include programming languages, program analysis and software engineering process and tools.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Dana N. Xu | Research Scientist, INRIA Rocquencourt\"]\r\n<h2><img class=\"wp-image-270714 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dana_xu.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dana_xu.pptx\">Static contract checking for Haskell<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nProgram errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verification techniques have been applied to imperative and object-oriented languages, like Java and C#, but few have been applied to a higher-order lazy functional language, like Haskell. In this talk, I will describe a sound and automatic static verification framework for Haskell, that is based on contracts and symbolic execution. Our approach is modular and gives precise blame assignments at compile-time in the presence of higher-order functions and laziness.\r\n<h3>Biography<\/h3>\r\nDana N. Xu is a research scientist at Paris-Rocquencourt research center of INRIA, a French national research institute in computer science and applied mathematics. She worked as a postdoctoral researcher at INRIA Grenoble for one year in 2009. She received her Ph.D. from University of Cambridge and her B.Comp.(Hons) and M.Sc.(by research) from National University of Singapore.\r\n\r\nHer main research interest is in functional programming languages, their implementation and applications. She is interested in building reliable and efficient software through programming language design, static analysis, type theory, program verification, optimization and automatic parallelization.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Lynne Hamill | PhD Student, University of Surrey\"]\r\n<h2><img class=\"wp-image-270735 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lynne_hamill.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lynne_hamill.ppt\">Communications, travel and social networks<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThe title of my PhD thesis was <em>Communications, Travel and Social Networks since 1840: A Study Using Agent-based Models<\/em>. The basic idea underlying the thesis was that the more we communicate, the more we travel. Agent-based modelling is a new method of social simulation. In this talk, I will explain what I did, the key results, and what I plan next. I will then offer some suggestions about successfully completing a PhD.\r\n<h3>Biography<\/h3>\r\nLynne Hamill was a Microsoft-sponsored PhD student from 2006 to 2009. An economist by training and profession, previously she worked in the UK civil service and academia.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Maurice Fallon | Research Scientist, MIT\"]\r\n<h2><img class=\"size-full wp-image-270738 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/maurice_fallon.jpg\" alt=\"Maurice Fallon (1)\" width=\"100\" height=\"132\" \/>Tracking and localisation for speech and robotics<\/h2>\r\n<h3>Abstract<\/h3>\r\nThe Speech Source Tracking (my PhD work) and Robotic Localisation and Mapping problems (my PostDoc work) have been characterized using a very similar probabilistic framework. Nonetheless the techniques used to solve the problems are strikingly different - as a result of the vastly different input sensor data. The first part of talk concerns speaker localization, detection and tracking using noisy recordings from low cost microphones. The approach taken utilizes Particle Filtering techniques drawn from the target tracking community. Meanwhile, robotic mapping is characterised by high-rate, high-quality ranging sensors on mobile autonomous platforms - in this case a robotic kayak where optimization and adjustment are more pressing issues. Results are presented for the vehicle exploring in a uncertain natural environment.\r\n<h3>Biography<\/h3>\r\nMaurice Fallon is a Research Scientist with Professor John Leonard's Marine Robotics Group, in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. His current research is mainly concerned with Localization and Mapping for Autonomous Robotic Systems \u2014 particularly in Marine and Riverine settings.\r\n\r\nHe completed his PhD in the Signal Processing Group of the Department of Engineering in Cambridge University and was advised by Simon Godsill. Maurice is originally from Ireland, with his undergraduate studies at University College Dublin.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Michael Kaisser | Programme Manager, Microsoft Bing Search Technology Centre Europe\"]\r\n<h2><img class=\"size-full wp-image-270741 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/michael_kaisser.jpg\" alt=\"Michael Kaisser\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/michael_kaisser.ppt\">Acquiring syntactic and semantic transformations in question answering<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nOne and the same fact in natural language can be expressed in many different ways by using different words and\/or a different syntax. This phenomenon, commonly called paraphrasing, is the main reason why Natural Language Processing (NLP) is such a challenging task. This becomes especially obvious in Question Answering (QA) where the task is to automatically answer a question posed in natural language, usually in a text collection also consisting of natural language texts. It cannot be assumed that an answer sentence to a question uses the same words as the question and that these words are combined in the same way by using the same syntactic rules.\r\n\r\nIn my thesis I describe methods that can help to address this problem. Firstly I explore how lexical resources, i.e. FrameNet, PropBank and VerbNet can be used to recognize a wide range of syntactic realizations that an answer sentence to a given question can have. Furthermore, I use a corpus of question and answer sentence pairs (QASPs) to develop an approach to QA based on matching dependency relations between answer candidates and question constituents in the answer sentences. In this talk, I will describe these two approaches in more detail and present evaluation results.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jurgen Van Gael | PhD Student, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270759 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jurgen.png\" alt=\"jurgen\" width=\"100\" height=\"132\" \/>To infinity and beyond with nonparametric Bayesian methods<\/h2>\r\n<h3>Abstract<\/h3>\r\nProbabilistic models in machine learning are widely used in science and industry. Traditionally, these models have been set up assuming a small set of unknowns which need to be learned from data. As the amount of data we learn from grows, more data will just lead to a few extra digits accuracy in our estimates. Nonparametric Bayesian methods are a family of techniques to make better use of data by allowing models to have an infinite number of parameters and letting the data decide how many to actually learn. In this talk I will illustrate how these type of techniques can be used to build a part of speech tagger without knowing anything about parts of speech!\r\n<h3>Biography<\/h3>\r\nJurgen is a PhD candidate in the Machine Learning Group of the Computational and Biological Learning Lab at the Department of Engineering in the University of Cambridge where my advisor is Professor Zoubin Ghahramani. He is supported by a Microsoft Reseach PhD Scholarship and as such co-advised by Ralf Herbrich. Before starting his PhD he was a Master student at the University of Wisconsin in Madison working with Professor Jerry Zhu. He has an undergraduate degree from Leuven. At Cambridge, he is a member of Wolfson College.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Fabrizio Gagliardi | Director External Research, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270720 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabrizio_gagliardi.jpg\" alt=\"fabrizio_gagliardi\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabrizio_gagliardi.pptx\">Cloud computing for research<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I will give a general overview of Cloud Computing and show how it is revolutionising the way we can do scientific research. As an example I will present Venus-C, a European project developing a Cloud Computing service for the research community.\r\n<h3>Biography<\/h3>\r\nFabrizio Gagliardi is Europe, Middle East and Africa Director for External Research at Microsoft Research. He joined Microsoft in November 2005 after a long career at CERN, the world leading laboratory for particle physics in Geneva, Switzerland. There he held several technical and managerial positions since 1975: Director of the EU Grid project EGEE (2004-2005); Director of the EU Data-Grid project (2001-2004); head of mass storage services (1997-2000); Leader of the EU project GPMIMD2 (1993-1996).\r\n\r\nFabrizio has a Doctor degree in Computer Science, granted by the University of Pisa in 1974. He has been consulting on computing and computing policy matters with the Commission of the European Union, several government and international bodies (among them NSF, DoE in the US, CNRS and other research bodies in France, EPSRC in the UK, CNR and INFN in Italy, OECD, UN agencies).\r\n\r\nFabrizio is chair of the ACM Europe Council.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Sue Duraikan | Duraikan Training\"]\r\n<h2><img class=\"size-full wp-image-270750 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sue_duraikan.jpg\" alt=\"sue_duraikan\" width=\"100\" height=\"132\" \/>Poster presentations for non native English speakers<\/h2>\r\n<h3>Abstract<\/h3>\r\nPresenting a poster at a conference is a terrific opportunity to promote your research and raise your professional profile in the wider academic community. However it can be daunting to compete with other presenters to get the attention of a passing audience. As well as a clear and captivating poster, you need the ability to build rapport quickly and present your subject positively and succinctly.\r\n\r\nThis can be especially challenging when you are presenting in a language which is not your mother tongue.\r\n\r\nDuring the 3 poster sessions, Sue will be hovering in the room, watching and listening to your approach. She will then prepare to highlight on the final day the key thought-processes as well as the verbal and non-verbal skills you need to give a powerful poster presentation.\r\n<h3>Biography<\/h3>\r\nSue Duraikan runs Duraikan Training, a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run training sessions in a wide range of interpersonal skills. As a former teacher of Modern Languages and with wide experience of working globally, Sue Duraikan has a particular interest in cross-cultural communication, and deep respect for those who operate daily in a second or third language.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Carole Boelitz | Senior Attorney, Microsoft\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/carole_boelitz.pptx\">Introduction to intellectual property<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nI will present the different types of intellectual property and how those rights can be obtained. I will also discuss some of the factors Microsoft uses for determining whether potential intellectual property rights are worth protecting and when we may prefer instead to share our work openly. Finally, I will talk about some of the more common issues we encounter when collaborating with other people or using materials created outside the company.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tony Hoare | Principal Researcher, Microsoft Research\"]\r\n\r\n<strong><em>Regrettably this talk was canceled.<\/em><\/strong>\r\n<h2><img class=\"size-full wp-image-270756 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tony_hoare.jpg\" alt=\"tony_hoare\" width=\"100\" height=\"132\" \/>Computer science<\/h2>\r\n<h3>Abstract<\/h3>\r\nComputer Science is rightly called a branch of Science. As Pure Scientists, we have the same goals and methods as other traditional branches of science \u2013 for example physics, astronomy, and biology. They are: to understand some aspect of the world, how it behaves, how it works, why it works, and to present convincing evidence for the correctness of the answers to all these questions. The ultimate criterion of success of Science is to predict what has never yet been seen \u2013 and then to find it. Our subject is also rightly called a branch of Engineering Science, like Mechanics or Electronics or Aerodynamics. Engineers seek to exploit the results of pure science in the design of new products and services of benefit to mankind.\r\n\r\nSoftware Engineering is now one of the world\u2019s major industries, and has had fundamental impact on all aspects of human commerce and culture. Its beneficiaries include engineers and scientists from all disciplines, who use software tools indispensably for the storage and analysis of massive experimental data, and for the prediction and planning of future discoveries.\r\n\r\nFollowing the lead of other scientific and engineering disciplines, Computer Scientists have begun to construct powerful software tools for the analysis of computer programs themselves. Software Engineers have begun to apply these tools to the analysis of large software products, to check that they are free of certain generic faults, particularly those that can be exploited by viruses, worms and other malware. The theory on which the tools are based has been developed by pure computing research. Further research is needed to exploit the potential of concurrent programming, and to extend the range of errors that can be proved absent from programs in widespread use. Maybe one day, programming error and program debugging will be a thing of the past.\r\n<h3>Biography<\/h3>\r\nTony Hoare\u2019s computing interests were stimulated by his first (and only) degree in the humanities (1956): he studied Latin and ancient Greek, followed by philosophy, with particular interest in mathematical philosophy and logic. He learnt Russian during National Service in the Royal Navy. He spent a postgraduate year studying statistics at Oxford and another at Moscow State University, where he discovered the sorting algorithm Quicksort. In 1960, he joined the British Computer industry as a programmer, eventually rising to the rank of Chief Engineer.\r\n\r\nHis Academic career started in 1968 with appointment as professor at the Queen\u2019s University, Belfast. He chose his long-term research area as proof of the correctness of programs. In the thick of the troubles, he built up a strong computing department, and moved in 1978 to do the same at Oxford. Following the example of Theoretical Physics, his interests broadened to the pursuit of Unifying Theories of Programming.\r\n\r\nOn reaching retiring age, he accepted an offer of employment at Microsoft Research in Cambridge, where he has seen a strong surge of interest in automation of computer proofs of program correctness. He continues to pursue this interest, while exhorting academic researchers in long-term pursuit of even more idealistic scientific goals.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":3,"name":"Posters","content":"[accordion]\r\n\r\n[panel header=\"Posters Session 1\"]\r\n<ul>\r\n \t<li>VORTEX - Volumetric Three-Dimensional Explorer\r\nAbhijit Karnik, University of Bristol<\/li>\r\n \t<li>Types With Numeric Constraints\r\nAdam Gundry, University of Strathclyde<\/li>\r\n \t<li>Hardware Transactional Memory: Implementing a Lazy-Lazy Simulator\r\nAdria Armejach, Barcelona Supercomputing Center Universitat Polit\u00e8cnica de Catalunya<\/li>\r\n \t<li>An Overview of GPGPU Programming with CUDA and Accelerator\r\nAlexander Cole, Leicester University<\/li>\r\n \t<li>Optimal Automatizable Heuristic Proof Systems\r\nAlexander V. Smal, Steklov Institute of Mathematics at St.Petersburg<\/li>\r\n \t<li>Exploring Compilers for Tiled Architectures\r\nAli Mustafa Zaidi, University of Cambridge<\/li>\r\n \t<li>Local Coloring Of Graphs\r\nAli Pourmiri, Max-Planck-Institute for Informatic<\/li>\r\n \t<li>Modelling Food Web Dynamics\r\nAlice Boit, University of Potsdam<\/li>\r\n \t<li>Analysis of Content and Activity in Social Networks for Place Recommendations\r\nAnastasios Noulas, University of Cambridge<\/li>\r\n \t<li>Computational Insights into Signalling Crosstalk and Dynamics during C. elegans Vulval Development\r\nAntje Beyer, University of Cambridge<\/li>\r\n \t<li>Mathematical tools for the design of cognitive radios\r\nAntonia Masucci, Sup\u00e9lec<\/li>\r\n \t<li>Syscall elision: Specialising programs for a faster desktop experience\r\nChris Smowton, University of Cambridge<\/li>\r\n \t<li>Exploring control and data management within an enhanced tangible multitouch surface\r\nDaniel Gallardo, Universitat Pompeu Fabra<\/li>\r\n \t<li>microRNAs as new players in biology and disease\r\nDavide Cacchiarelli, University of Rome 'Sapienza'<\/li>\r\n \t<li>Determining the distance to monotonicity of a biological networks\r\nFahimeh Ramezani, Max Planck Institute for Informatic<\/li>\r\n \t<li>Correcting under-exposed images\r\nFrederic Besse, UCL<\/li>\r\n \t<li>Software Verification by Combining Program Analyses of Adjustable Precision\r\nGregory Theoduloz, \u00c9PFL<\/li>\r\n \t<li>Knowledge discovery in learner texts\r\nHelen Yannakoudakis, University of Cambridge<\/li>\r\n \t<li>Proglab.Net, Ensuring Embedded Software Reliability at Compile-Time\r\nHossein Hojjat, \u00c9PFL<\/li>\r\n<\/ul>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 2\"]\r\n<ul>\r\n \t<li>Towards Proof Script Refactoring\r\nIan Whiteside, University of Edinburgh<\/li>\r\n \t<li>Mobile phones as a gateway to cloud computing\r\nIoana Giurgiu, ETH Zurich<\/li>\r\n \t<li>Inferring Community Structure in Wild Bird Populations\r\nIoannis Psorakis, University of Oxford<\/li>\r\n \t<li>A data-constrained predictive model of tropical deforestation and resultant carbon emissions\r\nIsabel Rosa, Imperial College London<\/li>\r\n \t<li>Unified Probabilistic Relevance Models for Information Retrieval\r\nJagadeesh Gorla, UCL<\/li>\r\n \t<li>Implementing Go!, A Multi Paradigm Language, on the .NET Platform\r\nJamilu Abubakar, Imperial College London\/Microsoft<\/li>\r\n \t<li>Recommendation System for Twitter Users\r\nJisun An, University of Cambridge<\/li>\r\n \t<li>Constraint-based Specifications for System Configuration\r\nJohn Hewson, University of Edinburgh<\/li>\r\n \t<li>A Medical Image Search Engine\r\nKar\u00e9n Simonyan, University of Oxford<\/li>\r\n \t<li>EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology Research\r\nKiran Rachuri, University of Cambridge<\/li>\r\n \t<li>GOmputer - The Go Machine\r\nLars Sch\u00e4fers, Paderborn University<\/li>\r\n \t<li>Describing complex ecological communities using dynamical models\r\nLawrence Hudson, Imperial College London<\/li>\r\n \t<li>Diversification and Intensification in Parallel SAT Solving\r\nLong Guo, CRIL-Lens France<\/li>\r\n \t<li>Discovering the Intrinsic Image Layer\r\nLumin Zhang, Max-Planck Institute<\/li>\r\n \t<li>Nimbus: Intelligent Personal Storage\r\nMalte Schwarzkopf, University of Cambridge<\/li>\r\n \t<li>Automated Reasoning for Dynamic Authorization Policy Analysis\r\nMartin Suda, Max-Planck-Institut f\u00fcr Informatik<\/li>\r\n \t<li>Heterogeneous Reasoning: diagrams in proofs\r\nMatej Urbas, University of Cambridge<\/li>\r\n \t<li>Orientability of Hypergraphs\r\nMegha Khosla, Max Planck Institute for Informatics<\/li>\r\n \t<li>Video Matting using optical flow\r\nMikhail Sindeyev, Moscow State University<\/li>\r\n<\/ul>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 3\"]\r\n<ul>\r\n \t<li>Autonomous Local Search for Combinatorial Problem Solving\r\nNadarajen Veerapen, Universit\u00e9 d'Angers<\/li>\r\n \t<li>Erdos: A social operating system\r\nNarseo Vallina, University of Cambridge<\/li>\r\n \t<li>Global variation in tree mortality\r\nNikee Groot, University of Leeds<\/li>\r\n \t<li>High-Performanced Visualization of Scientific DataSets\r\nNikita Skoblov, Moscow State University<\/li>\r\n \t<li>Joint action and social interaction\r\nOlle Blomberg, University of Edinburgh<\/li>\r\n \t<li>Beefarm: an FPGA-based multiprocessor system\r\nOriol Arcas, Barcelona Supercomputing Centre<\/li>\r\n \t<li>Reasoning about collections, Decision Procedures and Applications\r\nRuzica Piskac, \u00c9PFL<\/li>\r\n \t<li>Facial expression synthesis\r\nTadas Baltrusaitis, University of Cambridge<\/li>\r\n \t<li>JigPheno: modelling visual phenotypes for association studies\r\nTheofanis Karaletsos, Max Planck Insitute for Biological Cybernetics<\/li>\r\n \t<li>Trust on the Internet\r\nThomas Simpson, University of Cambridge<\/li>\r\n \t<li>Optimal Multicore Algorithms &amp; The GPGPU\r\nTomasz Jurkiewicz, Max-Planck-Institute f\u00fcr Informatik<\/li>\r\n \t<li>RMS-TM++ A New Transactional Benchmark Suite\r\nVasilis Karakostas, Barcelona Supercomputing Center<\/li>\r\n \t<li>Data Acquisition via Compressive Sensing in Wireless Sensor networks\r\nWie Chen, University of Cambridge<\/li>\r\n \t<li>Buffer overflow identification via taint dataflow graphs\r\nWie Ming, University of Cambridge<\/li>\r\n \t<li>Biological network reconstruction from noisy data\r\nYe Yuan, University of Cambridge<\/li>\r\n \t<li>Artem Melentyev\r\nHow to extend Java compilers for semantic verification<\/li>\r\n \t<li>David Hopkins\r\nModel checking using game semantics<\/li>\r\n<\/ul>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Guidelines\"]\r\n\r\nPosters should be designed for A1 portrait (594 mm width x 841 mm height) colour printing (either PowerPoint or PDF) and articulate clearly and concisely either visually or textually:\r\n<ul>\r\n \t<li>What challenge is being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research.<\/li>\r\n \t<li>What the research is.<\/li>\r\n \t<li>What the intended outcome is.<\/li>\r\n \t<li>What stage it is at.<\/li>\r\n \t<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/li>\r\n<\/ul>\r\nPosters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.\r\n\r\nPosters should also clearly display your name and the name of your university.\r\n\r\nYou can find example of posters on the page of the 2009 Summer School.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":4,"name":"Leisure","content":"<h2>Food and Drinks<\/h2>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cambridge-pubs.co.uk\/\">Cambridge Pubs Guide<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<\/a><\/li>\r\n<\/ul>\r\n<h2>Theatres<\/h2>\r\n<a href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<\/a>\r\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL\r\nTel: 01223 578933 For major theatre productions and national tours.\r\n\r\n<a href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<\/a>\r\nPark St, Cambridge, Cambridgeshire CB5 8AS\r\nTel: 01223 359547\r\n\r\n<a href=\"http:\/\/web.anglia.ac.uk\/mumfordtheatre\/\">Mumford Theatre<\/a>\r\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire\r\nTel: 0845 196 2320\r\n\r\n<a href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<\/a>\r\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE\r\nTel: 01223 357851 For rock, pop, comedy and opera.\r\n\r\n<a href=\"http:\/\/www.junction.co.uk\/\">The Junction<\/a>\r\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX\r\nTel: (01223) 511511 Also for rock, pop, comedy.\r\n<h2>Cinema<\/h2>\r\n<a href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<\/a>\r\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR\r\nTel: 01223 572929 Arthouse and international.\r\n\r\n<a href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\" target=\"_self\">Cineworld<\/a>\r\nCambridge Leisure Park, Clifton Road\r\nTel. 0871 200 2000 Multi screen Cinema complex.\r\n\r\n<a href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<\/a>\r\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS\r\nTel: 0871 2240240 Multi screen Cinema.\r\n<h2>Note<\/h2>\r\n* The number of spaces for go-karting is limited, so we'll select drivers on a first-come first-served basis."}],"msr_startdate":"2010-06-28","msr_enddate":"2010-07-02","msr_event_time":"","msr_location":"Cambridge, UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 28, 2010","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The fifth Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 28 June through 2 July 2010. It included a series of talks of academic interest and poster sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics. Invited students will include PhD students at the end of their first year from a number of universities and research institutions Microsoft Research&hellip;","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270684"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270684\/revisions"}],"predecessor-version":[{"id":497816,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270684\/revisions\/497816"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=270684"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=270684"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=270684"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=270684"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=270684"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=270684"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=270684"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=270684"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=270684"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}