{"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":"2025-08-06T11:59:52","modified_gmt":"2025-08-06T18:59:52","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":"\n\n<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=\"_blank\">Summer School 2010 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/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<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" 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\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/2010_summer_school_group_photo_small.jpg 375w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/2010_summer_school_group_photo_small-300x199.jpg 300w\" sizes=\"auto, (max-width: 375px) 100vw, 375px\" \/>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.<\/p>\n<p>Invited 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.<\/p>\n<p>Lectures and posters sessions are public and open to all research staff and students from the University of Cambridge.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.bing.com\/maps\/?v=2&cp=51.93011633500112~0.5862091776620844&lvl=9&sty=h&cid=6E7A125C1BB148A6!2611&eo=0\" target=\"_blank\">Map of venues<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Monday,\u00a028 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\"><\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Students staying\u00a0at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_blank\">Jesus College\u00a0<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>get the keys to their rooms<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Welcome and tea<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation\u00a0from Jesus College to the go-karting venue<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">22:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday,\u00a029 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div>Registration<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div>\n<\/td>\n<td>Andrew Blake<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<br \/>\n(Microsoft Research)<\/div>\n<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch and poster session 1 (see posters guidelines)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">13:45<\/div>\n<\/td>\n<td>\n<div>Bus transportation to London<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/royalsociety.org\/Summer-of-Science\/\" target=\"_blank\">Royal Society Festival of Science<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, London<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Free time in London<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Cambridge<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a030 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Presentation skills<\/strong><\/div>\n<\/td>\n<td>Ken Shaw (Benchmark Communication Techniques)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td><strong>Presentation content<\/strong><\/td>\n<td>Simon Peyton-Jones<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>Lunch and posters session 2 (see posters guidelines)<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>Rough guide to being an entrepreneur<\/td>\n<td>Jack Lang<br \/>\n(University of Cambridge)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:15<\/div>\n<\/td>\n<td><strong>Parallel session\u00a0<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Simulating global carbon-climate feedback<\/strong><\/td>\n<td>Drew Purves<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Molecular programming<\/strong><\/td>\n<td>Luca Cardelli<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:45<\/div>\n<\/td>\n<td><strong>Parallel session<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Infer.NET and probabilistic programming<\/strong><\/td>\n<td>John\u00a0Winn<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Ten things you don\u2019t know about Microsoft<\/strong><\/td>\n<td>Derick Campbell<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">17:45<\/td>\n<td>Bus transportation to punting location<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">18:00<\/td>\n<td>Punting on the river Cam<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">19:30<\/td>\n<td>Dinner at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.lamimosa.co.uk\/\" target=\"_blank\">La Mimosa<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a01 July 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td><strong>From data to knowledge<\/strong><\/td>\n<td>Sydney Brenner<br \/>\n(Salk Institute)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td><strong>Parallel sessions<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Fun with F#: Solving complex problems with simple code<\/strong><\/td>\n<td>Anton Schwaighofer (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Simulation and data analysis with windows azure<\/strong><\/td>\n<td>Austin Donnelly<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">12:00<\/td>\n<td>Lunch and posters session 3 (see posters guidelines)<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">14:00<\/td>\n<td><strong>From driving to trafficking: the developing view of the user in computer systems design<\/strong><\/td>\n<td>Richard Harper<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:15<\/div>\n<\/td>\n<td><strong>Presentations of past students<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>From program analysis research to industrial programming language development<\/strong><\/td>\n<td>Andy Maule (PhD at University College London; now at Microsoft Corp)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Static contract checking for Haskell<\/strong><\/td>\n<td>Dana N. Xu (PhD at the University of Cambridge; now at INRIA)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Communications, travel and social networks<\/strong><\/td>\n<td>Lynne Hamill<br \/>\n(University of Surrey)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:45<\/div>\n<\/td>\n<td><strong>Presentations of past students<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Tracking and localisation for speech and robotics<\/strong><\/td>\n<td>Maurice Fallon<br \/>\n(PhD at the University of Cambridge; now at MIT)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Acquiring syntactic and semantic transformations in question answering<\/strong><\/td>\n<td>Michael Kaisser<br \/>\n(PhD at the University of Edinburgh; now at Microsoft Bing STC Europe)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>To infinity and beyond with nonparametric Bayesian methods<\/strong><\/td>\n<td>Jurgen Van Gael<br \/>\n(University of Cambridge)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>Bus transportation to Murray Edwards College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>Drinks, Drinks, and group photo<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">19:00<\/div>\n<\/td>\n<td>Dinner at Murray Edwards College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a02 July 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>Clound computing for research<\/td>\n<td>Fabrizio Gagliardi<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>Introduction to intellectual property<\/td>\n<td>Carole Boelitz (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>Poster presentations for non native English speakers<\/td>\n<td>Sue Duraikan<br \/>\n(Duraikan Training)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>BBQ<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">13:30<\/td>\n<td>\u00a0End and bus transportation to Jesus College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Talk Abstracts and Speaker Biographies<\/h2>\n<p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4416\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4416\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4415\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4415\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4416\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\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>\n<h3>Abstract<\/h3>\n<p>Writing 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.<\/p>\n<h3>Biography<\/h3>\n<p>Simon 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4418\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4418\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4417\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKen Shaw | Benchmark Communication Techniques\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4417\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4418\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Lecture, 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 & voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.<\/p>\n<h3>Biography<\/h3>\n<p>Ken 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4420\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4420\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4419\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | Lecturer and Entrepreneur, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4419\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4420\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>At 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.<\/p>\n<h3>Biography<\/h3>\n<p>Jack 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/artimi.com\/\">Artimi<span class=\"sr-only\"> (opens in new tab)<\/span><\/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 &#8220;Cambridge Phenomenon&#8221;, and was a proper academic at the Computer Lab. He is author of &#8220;The High Tech Entrepreneurs Handbook&#8221; (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4422\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4422\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4421\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLuca Cardelli | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4421\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4422\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/Talks\/2010-06-30%20Molecular%20Programming%20(MSRC%20PhD%20Summer%20School).pdf\">Molecular programming<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Moore&#8217;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.<\/p>\n<p>Nucleic 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.<\/p>\n<p>The (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.<\/p>\n<p>Molecular 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.<\/p>\n<h3>Biography<\/h3>\n<p>Luca Cardelli was born near <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.montecatini.com\/\">Montecatini Terme<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, Italy, studied at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.di.unipi.it\/welcome.html\">University of Pisa<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (until 1978-07-12), and has a Ph.D. in computer science from the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.dcs.ed.ac.uk\/lfcsinfo\/\">University of Edinburgh<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (1982-04-01). He worked at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.bell-labs.com\/\">Bell Labs, Murray Hill<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, from 1982-04-05 to 1985-09-20, and at Digital Equipment Corporation, Systems Research Center in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.city.palo-alto.ca.us\/\">Palo Alto<span class=\"sr-only\"> (opens in new tab)<\/span><\/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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridge.gov.uk\/cambridge.htm\">Cambridge UK<span class=\"sr-only\"> (opens in new tab)<\/span><\/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.<\/p>\n<p>His 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.smlnj.org\/\">ML<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (one of the most popular typed functional language, whose recent incarnations are <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/caml.inria.fr\/\">Caml<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/try-f\/\">F#<\/a>) and one of the earliest direct-manipulation <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/Papers\/Toolkit.pdf\">user-interface editors<span class=\"sr-only\"> (opens in new tab)<\/span><\/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&#8217;95 paper 10 years later), and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/indexPapers.html#ModernConcurrencyAbstractionsForCSharp\">Polyphonic C#<span class=\"sr-only\"> (opens in new tab)<\/span><\/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 &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/TheoryOfObjects.html\">A Theory of Objects<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>&#8221; with Martin Abadi. More recently he has focused on modeling global and mobile computation, via the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/Ambients.html\">Ambient Calculus<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/SpatialLogics.htm\">Spatial Logics<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, which indirectly led to a current interest in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/BioComputing.htm\">Systems Biology<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and stochastic systems.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4424\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4424\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4423\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDrew Purves | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4423\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4424\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>We 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.<\/p>\n<h3>Biography<\/h3>\n<p>Drew 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<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4426\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4426\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4425\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJohn Winn | Research, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4425\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4426\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Would 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.<\/p>\n<h3>Biography<\/h3>\n<p>John 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4428\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4428\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4427\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDerick Campbell | Director of Engineering, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4427\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4428\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<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>\n<h3>Abstract<\/h3>\n<p>Think 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.<\/p>\n<h3>Biography<\/h3>\n<p>Derick 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>.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4430\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4430\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4429\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSydney Brenner | Senior Distinguished Fellow, Salk Institute\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4429\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4430\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>This 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<\/p>\n<h3>Biography<\/h3>\n<p>Sydney Brenner, Senior Distinguished Fellow of the Crick-Jacobs Center, is one of the past century&#8217;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.<\/p>\n<p>Among 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.<\/p>\n<p>Sydney is a 2002 Nobel prize in Physiology or Medicine laureate, shared with H. Robert Horvitz and John Sulston.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4432\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4432\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4431\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAustin Donnelly | Research Software Development Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4431\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4432\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Research 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!<\/p>\n<h3>Biography<\/h3>\n<p>Austin 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4434\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4434\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4433\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAnton Schwaighofer | Applied Researcher, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4433\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4434\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>I&#8217;ll give an introduction to F#, a functional programming language that is very well suited to express complex ideas and problems. I&#8217;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.<\/p>\n<h3>Biography<\/h3>\n<p>Anton 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4436\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4436\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4435\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Harper | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4435\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4436\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>In 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.<\/p>\n<h3>Biography<\/h3>\n<p>Richard 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 &#8216;being human&#8217; 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&#8217;s fifth lab, EuroPARC, in Cambridge. He completed his Phd at Manchester in 1989.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4438\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4438\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4437\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndy Maule | Software Developper Engineer, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4437\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4438\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>During 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.<\/p>\n<h3>Biography<\/h3>\n<p>Andy 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4440\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4440\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4439\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDana N. Xu | Research Scientist, INRIA Rocquencourt\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4439\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4440\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Program 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.<\/p>\n<h3>Biography<\/h3>\n<p>Dana 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.<\/p>\n<p>Her 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4442\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4442\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4441\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLynne Hamill | PhD Student, University of Surrey\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4441\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4442\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>The 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.<\/p>\n<h3>Biography<\/h3>\n<p>Lynne 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4444\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4444\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4443\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMaurice Fallon | Research Scientist, MIT\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4443\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4444\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>The 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 &#8211; 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 &#8211; 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.<\/p>\n<h3>Biography<\/h3>\n<p>Maurice Fallon is a Research Scientist with Professor John Leonard&#8217;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.<\/p>\n<p>He 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4446\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4446\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4445\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMichael Kaisser | Programme Manager, Microsoft Bing Search Technology Centre Europe\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4445\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4446\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>One 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.<\/p>\n<p>In 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4448\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4448\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4447\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJurgen Van Gael | PhD Student, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4447\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4448\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Probabilistic 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!<\/p>\n<h3>Biography<\/h3>\n<p>Jurgen 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4450\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4450\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4449\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tFabrizio Gagliardi | Director External Research, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4449\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4450\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>In 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.<\/p>\n<h3>Biography<\/h3>\n<p>Fabrizio 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).<\/p>\n<p>Fabrizio 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).<\/p>\n<p>Fabrizio is chair of the ACM Europe Council.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4452\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4452\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4451\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSue Duraikan | Duraikan Training\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4451\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4452\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Presenting 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.<\/p>\n<p>This can be especially challenging when you are presenting in a language which is not your mother tongue.<\/p>\n<p>During 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.<\/p>\n<h3>Biography<\/h3>\n<p>Sue 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4454\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4454\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4453\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tCarole Boelitz | Senior Attorney, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4453\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4454\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/carole_boelitz.pptx\">Introduction to intellectual property<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>I 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4456\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4456\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4455\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4455\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4456\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><em>Regrettably this talk was canceled.<\/em><\/strong><\/p>\n<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Computer 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.<\/p>\n<p>Software 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.<\/p>\n<p>Following 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.<\/p>\n<h3>Biography<\/h3>\n<p>Tony 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.<\/p>\n<p>His 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.<\/p>\n<p>On 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4458\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4458\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4457\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 1\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4457\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4458\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>VORTEX &#8211; Volumetric Three-Dimensional ExplorerAbhijit Karnik, University of Bristol<\/li>\n<li>Types With Numeric ConstraintsAdam Gundry, University of Strathclyde<\/li>\n<li>Hardware Transactional Memory: Implementing a Lazy-Lazy SimulatorAdria Armejach, Barcelona Supercomputing Center Universitat Polit\u00e8cnica de Catalunya<\/li>\n<li>An Overview of GPGPU Programming with CUDA and AcceleratorAlexander Cole, Leicester University<\/li>\n<li>Optimal Automatizable Heuristic Proof SystemsAlexander V. Smal, Steklov Institute of Mathematics at St.Petersburg<\/li>\n<li>Exploring Compilers for Tiled ArchitecturesAli Mustafa Zaidi, University of Cambridge<\/li>\n<li>Local Coloring Of GraphsAli Pourmiri, Max-Planck-Institute for Informatic<\/li>\n<li>Modelling Food Web DynamicsAlice Boit, University of Potsdam<\/li>\n<li>Analysis of Content and Activity in Social Networks for Place RecommendationsAnastasios Noulas, University of Cambridge<\/li>\n<li>Computational Insights into Signalling Crosstalk and Dynamics during C. elegans Vulval DevelopmentAntje Beyer, University of Cambridge<\/li>\n<li>Mathematical tools for the design of cognitive radiosAntonia Masucci, Sup\u00e9lec<\/li>\n<li>Syscall elision: Specialising programs for a faster desktop experienceChris Smowton, University of Cambridge<\/li>\n<li>Exploring control and data management within an enhanced tangible multitouch surfaceDaniel Gallardo, Universitat Pompeu Fabra<\/li>\n<li>microRNAs as new players in biology and diseaseDavide Cacchiarelli, University of Rome &#8216;Sapienza&#8217;<\/li>\n<li>Determining the distance to monotonicity of a biological networksFahimeh Ramezani, Max Planck Institute for Informatic<\/li>\n<li>Correcting under-exposed imagesFrederic Besse, UCL<\/li>\n<li>Software Verification by Combining Program Analyses of Adjustable PrecisionGregory Theoduloz, \u00c9PFL<\/li>\n<li>Knowledge discovery in learner textsHelen Yannakoudakis, University of Cambridge<\/li>\n<li>Proglab.Net, Ensuring Embedded Software Reliability at Compile-TimeHossein Hojjat, \u00c9PFL<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4460\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4460\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4459\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 2\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4459\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4460\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>Towards Proof Script RefactoringIan Whiteside, University of Edinburgh<\/li>\n<li>Mobile phones as a gateway to cloud computingIoana Giurgiu, ETH Zurich<\/li>\n<li>Inferring Community Structure in Wild Bird PopulationsIoannis Psorakis, University of Oxford<\/li>\n<li>A data-constrained predictive model of tropical deforestation and resultant carbon emissionsIsabel Rosa, Imperial College London<\/li>\n<li>Unified Probabilistic Relevance Models for Information RetrievalJagadeesh Gorla, UCL<\/li>\n<li>Implementing Go!, A Multi Paradigm Language, on the .NET PlatformJamilu Abubakar, Imperial College London\/Microsoft<\/li>\n<li>Recommendation System for Twitter UsersJisun An, University of Cambridge<\/li>\n<li>Constraint-based Specifications for System ConfigurationJohn Hewson, University of Edinburgh<\/li>\n<li>A Medical Image Search EngineKar\u00e9n Simonyan, University of Oxford<\/li>\n<li>EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology ResearchKiran Rachuri, University of Cambridge<\/li>\n<li>GOmputer &#8211; The Go MachineLars Sch\u00e4fers, Paderborn University<\/li>\n<li>Describing complex ecological communities using dynamical modelsLawrence Hudson, Imperial College London<\/li>\n<li>Diversification and Intensification in Parallel SAT SolvingLong Guo, CRIL-Lens France<\/li>\n<li>Discovering the Intrinsic Image LayerLumin Zhang, Max-Planck Institute<\/li>\n<li>Nimbus: Intelligent Personal StorageMalte Schwarzkopf, University of Cambridge<\/li>\n<li>Automated Reasoning for Dynamic Authorization Policy AnalysisMartin Suda, Max-Planck-Institut f\u00fcr Informatik<\/li>\n<li>Heterogeneous Reasoning: diagrams in proofsMatej Urbas, University of Cambridge<\/li>\n<li>Orientability of HypergraphsMegha Khosla, Max Planck Institute for Informatics<\/li>\n<li>Video Matting using optical flowMikhail Sindeyev, Moscow State University<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4462\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4462\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4461\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 3\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4461\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4462\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>Autonomous Local Search for Combinatorial Problem SolvingNadarajen Veerapen, Universit\u00e9 d&#8217;Angers<\/li>\n<li>Erdos: A social operating systemNarseo Vallina, University of Cambridge<\/li>\n<li>Global variation in tree mortalityNikee Groot, University of Leeds<\/li>\n<li>High-Performanced Visualization of Scientific DataSetsNikita Skoblov, Moscow State University<\/li>\n<li>Joint action and social interactionOlle Blomberg, University of Edinburgh<\/li>\n<li>Beefarm: an FPGA-based multiprocessor systemOriol Arcas, Barcelona Supercomputing Centre<\/li>\n<li>Reasoning about collections, Decision Procedures and ApplicationsRuzica Piskac, \u00c9PFL<\/li>\n<li>Facial expression synthesisTadas Baltrusaitis, University of Cambridge<\/li>\n<li>JigPheno: modelling visual phenotypes for association studiesTheofanis Karaletsos, Max Planck Insitute for Biological Cybernetics<\/li>\n<li>Trust on the InternetThomas Simpson, University of Cambridge<\/li>\n<li>Optimal Multicore Algorithms & The GPGPUTomasz Jurkiewicz, Max-Planck-Institute f\u00fcr Informatik<\/li>\n<li>RMS-TM++ A New Transactional Benchmark SuiteVasilis Karakostas, Barcelona Supercomputing Center<\/li>\n<li>Data Acquisition via Compressive Sensing in Wireless Sensor networksWie Chen, University of Cambridge<\/li>\n<li>Buffer overflow identification via taint dataflow graphsWie Ming, University of Cambridge<\/li>\n<li>Biological network reconstruction from noisy dataYe Yuan, University of Cambridge<\/li>\n<li>Artem MelentyevHow to extend Java compilers for semantic verification<\/li>\n<li>David HopkinsModel checking using game semantics<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4464\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4464\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4463\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Guidelines\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4463\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4464\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p>Posters 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:<\/p>\n<ul>\n<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>\n<li>What the research is.<\/li>\n<li>What the intended outcome is.<\/li>\n<li>What stage it is at.<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/li>\n<\/ul>\n<p>Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.<\/p>\n<p>Posters should also clearly display your name and the name of your university.<\/p>\n<p>You can find example of posters on the page of the 2009 Summer School.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Food and Drinks<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridge-pubs.co.uk\/\">Cambridge Pubs Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Theatres<\/h2>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL<br \/>\nTel: 01223 578933 For major theatre productions and national tours.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nPark St, Cambridge, Cambridgeshire CB5 8AS<br \/>\nTel: 01223 359547<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/web.anglia.ac.uk\/mumfordtheatre\/\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire<br \/>\nTel: 0845 196 2320<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE<br \/>\nTel: 01223 357851 For rock, pop, comedy and opera.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.junction.co.uk\/\">The Junction<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX<br \/>\nTel: (01223) 511511 Also for rock, pop, comedy.<\/p>\n<h2>Cinema<\/h2>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR<br \/>\nTel: 01223 572929 Arthouse and international.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\" target=\"_blank\">Cineworld<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nCambridge Leisure Park, Clifton Road<br \/>\nTel. 0871 200 2000 Multi screen Cinema complex.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS<br \/>\nTel: 0871 2240240 Multi screen Cinema.<\/p>\n<h2>Note<\/h2>\n<p>* The number of spaces for go-karting is limited, so we&#8217;ll select drivers on a first-come first-served basis.<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Links Microsoft Research Cambridge Summer School 2010 Facebook Group (opens in new tab) Summer School 2009 Opens in a new tab 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 [&hellip;]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","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,"msr_hide_image_in_river":0,"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":"<!-- wp:msr\/event-details {\"title\":\"PhD Summer School 2010\",\"backgroundColor\":\"grey\"} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"About\"} --><!-- wp:freeform --><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=\"_blank\">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<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" 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\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/2010_summer_school_group_photo_small.jpg 375w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/2010_summer_school_group_photo_small-300x199.jpg 300w\" sizes=\"auto, (max-width: 375px) 100vw, 375px\" \/>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.<\/p>\n<p>Invited 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.<\/p>\n<p>Lectures and posters sessions are public and open to all research staff and students from the University of Cambridge.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" 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=\"_blank\">Map of venues<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Agenda\"} --><!-- wp:freeform --><h2>Monday,\u00a028 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\"><\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Students staying\u00a0at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_blank\">Jesus College\u00a0<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>get the keys to their rooms<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Welcome and tea<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation\u00a0from Jesus College to the go-karting venue<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">22:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday,\u00a029 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div>Registration<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div>\n<\/td>\n<td>Andrew Blake<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>,<br \/>\n(Microsoft Research)<\/div>\n<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch and poster session 1 (see posters guidelines)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">13:45<\/div>\n<\/td>\n<td>\n<div>Bus transportation to London<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/royalsociety.org\/Summer-of-Science\/\" target=\"_blank\">Royal Society Festival of Science<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, London<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Free time in London<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Cambridge<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a030 June 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Presentation skills<\/strong><\/div>\n<\/td>\n<td>Ken Shaw (Benchmark Communication Techniques)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td><strong>Presentation content<\/strong><\/td>\n<td>Simon Peyton-Jones<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>Lunch and posters session 2 (see posters guidelines)<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>Rough guide to being an entrepreneur<\/td>\n<td>Jack Lang<br \/>\n(University of Cambridge)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:15<\/div>\n<\/td>\n<td><strong>Parallel session\u00a0<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Simulating global carbon-climate feedback<\/strong><\/td>\n<td>Drew Purves<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Molecular programming<\/strong><\/td>\n<td>Luca Cardelli<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:45<\/div>\n<\/td>\n<td><strong>Parallel session<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Infer.NET and probabilistic programming<\/strong><\/td>\n<td>John\u00a0Winn<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Ten things you don\u2019t know about Microsoft<\/strong><\/td>\n<td>Derick Campbell<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">17:45<\/td>\n<td>Bus transportation to punting location<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">18:00<\/td>\n<td>Punting on the river Cam<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">19:30<\/td>\n<td>Dinner at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.lamimosa.co.uk\/\" target=\"_blank\">La Mimosa<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a01 July 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td><strong>From data to knowledge<\/strong><\/td>\n<td>Sydney Brenner<br \/>\n(Salk Institute)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td><strong>Parallel sessions<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Fun with F#: Solving complex problems with simple code<\/strong><\/td>\n<td>Anton Schwaighofer (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Simulation and data analysis with windows azure<\/strong><\/td>\n<td>Austin Donnelly<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">12:00<\/td>\n<td>Lunch and posters session 3 (see posters guidelines)<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">14:00<\/td>\n<td><strong>From driving to trafficking: the developing view of the user in computer systems design<\/strong><\/td>\n<td>Richard Harper<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:15<\/div>\n<\/td>\n<td><strong>Presentations of past students<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>From program analysis research to industrial programming language development<\/strong><\/td>\n<td>Andy Maule (PhD at University College London; now at Microsoft Corp)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Static contract checking for Haskell<\/strong><\/td>\n<td>Dana N. Xu (PhD at the University of Cambridge; now at INRIA)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Communications, travel and social networks<\/strong><\/td>\n<td>Lynne Hamill<br \/>\n(University of Surrey)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:45<\/div>\n<\/td>\n<td><strong>Presentations of past students<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Tracking and localisation for speech and robotics<\/strong><\/td>\n<td>Maurice Fallon<br \/>\n(PhD at the University of Cambridge; now at MIT)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>Acquiring syntactic and semantic transformations in question answering<\/strong><\/td>\n<td>Michael Kaisser<br \/>\n(PhD at the University of Edinburgh; now at Microsoft Bing STC Europe)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td><strong>To infinity and beyond with nonparametric Bayesian methods<\/strong><\/td>\n<td>Jurgen Van Gael<br \/>\n(University of Cambridge)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>Bus transportation to Murray Edwards College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>Drinks, Drinks, and group photo<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">19:00<\/div>\n<\/td>\n<td>Dinner at Murray Edwards College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a02 July 2010<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>Clound computing for research<\/td>\n<td>Fabrizio Gagliardi<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>Break<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>Introduction to intellectual property<\/td>\n<td>Carole Boelitz (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>Poster presentations for non native English speakers<\/td>\n<td>Sue Duraikan<br \/>\n(Duraikan Training)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>BBQ<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">13:30<\/td>\n<td>\u00a0End and bus transportation to Jesus College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Speakers and Abstracts\"} --><!-- wp:freeform --><h2>Talk Abstracts and Speaker Biographies<\/h2>\n<p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4416\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4416\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4415\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4415\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4416\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\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>\n<h3>Abstract<\/h3>\n<p>Writing 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.<\/p>\n<h3>Biography<\/h3>\n<p>Simon 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4418\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4418\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4417\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKen Shaw | Benchmark Communication Techniques\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4417\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4418\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Lecture, 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.<\/p>\n<h3>Biography<\/h3>\n<p>Ken 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4420\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4420\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4419\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | Lecturer and Entrepreneur, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4419\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4420\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>At 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.<\/p>\n<h3>Biography<\/h3>\n<p>Jack 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 &#8220;Cambridge Phenomenon&#8221;, and was a proper academic at the Computer Lab. He is author of &#8220;The High Tech Entrepreneurs Handbook&#8221; (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4422\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4422\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4421\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLuca Cardelli | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4421\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4422\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/Talks\/2010-06-30%20Molecular%20Programming%20(MSRC%20PhD%20Summer%20School).pdf\">Molecular programming<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Moore&#8217;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.<\/p>\n<p>Nucleic 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.<\/p>\n<p>The (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.<\/p>\n<p>Molecular 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.<\/p>\n<h3>Biography<\/h3>\n<p>Luca Cardelli was born near <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.montecatini.com\/\">Montecatini Terme<\/a>, Italy, studied at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.dcs.ed.ac.uk\/lfcsinfo\/\">University of Edinburgh<\/a> (1982-04-01). He worked at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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.<\/p>\n<p>His 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.smlnj.org\/\">ML<\/a> (one of the most popular typed functional language, whose recent incarnations are <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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&#8217;95 paper 10 years later), and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 &#8220;<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/TheoryOfObjects.html\">A Theory of Objects<\/a>&#8221; with Martin Abadi. More recently he has focused on modeling global and mobile computation, via the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/Ambients.html\">Ambient Calculus<\/a> and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/SpatialLogics.htm\">Spatial Logics<\/a>, which indirectly led to a current interest in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/lucacardelli.name\/BioComputing.htm\">Systems Biology<\/a> and stochastic systems.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4424\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4424\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4423\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDrew Purves | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4423\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4424\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>We 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.<\/p>\n<h3>Biography<\/h3>\n<p>Drew 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<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4426\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4426\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4425\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJohn Winn | Research, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4425\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4426\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Would 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.<\/p>\n<h3>Biography<\/h3>\n<p>John 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4428\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4428\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4427\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDerick Campbell | Director of Engineering, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4427\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4428\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<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>\n<h3>Abstract<\/h3>\n<p>Think 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.<\/p>\n<h3>Biography<\/h3>\n<p>Derick 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>.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4430\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4430\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4429\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSydney Brenner | Senior Distinguished Fellow, Salk Institute\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4429\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4430\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>This 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<\/p>\n<h3>Biography<\/h3>\n<p>Sydney Brenner, Senior Distinguished Fellow of the Crick-Jacobs Center, is one of the past century&#8217;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.<\/p>\n<p>Among 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.<\/p>\n<p>Sydney is a 2002 Nobel prize in Physiology or Medicine laureate, shared with H. Robert Horvitz and John Sulston.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4432\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4432\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4431\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAustin Donnelly | Research Software Development Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4431\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4432\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Research 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!<\/p>\n<h3>Biography<\/h3>\n<p>Austin 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4434\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4434\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4433\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAnton Schwaighofer | Applied Researcher, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4433\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4434\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>I&#8217;ll give an introduction to F#, a functional programming language that is very well suited to express complex ideas and problems. I&#8217;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.<\/p>\n<h3>Biography<\/h3>\n<p>Anton 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4436\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4436\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4435\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Harper | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4435\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4436\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>In 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.<\/p>\n<h3>Biography<\/h3>\n<p>Richard 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 &#8216;being human&#8217; 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&#8217;s fifth lab, EuroPARC, in Cambridge. He completed his Phd at Manchester in 1989.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4438\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4438\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4437\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndy Maule | Software Developper Engineer, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4437\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4438\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>During 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.<\/p>\n<h3>Biography<\/h3>\n<p>Andy 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4440\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4440\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4439\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDana N. Xu | Research Scientist, INRIA Rocquencourt\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4439\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4440\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Program 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.<\/p>\n<h3>Biography<\/h3>\n<p>Dana 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.<\/p>\n<p>Her 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4442\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4442\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4441\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLynne Hamill | PhD Student, University of Surrey\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4441\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4442\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>The 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.<\/p>\n<h3>Biography<\/h3>\n<p>Lynne 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4444\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4444\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4443\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMaurice Fallon | Research Scientist, MIT\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4443\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4444\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>The 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 &#8211; 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 &#8211; 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.<\/p>\n<h3>Biography<\/h3>\n<p>Maurice Fallon is a Research Scientist with Professor John Leonard&#8217;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.<\/p>\n<p>He 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4446\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4446\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4445\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMichael Kaisser | Programme Manager, Microsoft Bing Search Technology Centre Europe\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4445\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4446\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>One 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.<\/p>\n<p>In 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4448\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4448\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4447\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJurgen Van Gael | PhD Student, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4447\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4448\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Probabilistic 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!<\/p>\n<h3>Biography<\/h3>\n<p>Jurgen 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4450\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4450\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4449\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tFabrizio Gagliardi | Director External Research, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4449\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4450\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>In 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.<\/p>\n<h3>Biography<\/h3>\n<p>Fabrizio 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).<\/p>\n<p>Fabrizio 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).<\/p>\n<p>Fabrizio is chair of the ACM Europe Council.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4452\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4452\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4451\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSue Duraikan | Duraikan Training\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4451\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4452\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Presenting 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.<\/p>\n<p>This can be especially challenging when you are presenting in a language which is not your mother tongue.<\/p>\n<p>During 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.<\/p>\n<h3>Biography<\/h3>\n<p>Sue 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4454\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4454\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4453\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tCarole Boelitz | Senior Attorney, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4453\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4454\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/carole_boelitz.pptx\">Introduction to intellectual property<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>I 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4456\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4456\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4455\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4455\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4456\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><em>Regrettably this talk was canceled.<\/em><\/strong><\/p>\n<h2><img loading=\"lazy\" decoding=\"async\" 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>\n<h3>Abstract<\/h3>\n<p>Computer 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.<\/p>\n<p>Software 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.<\/p>\n<p>Following 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.<\/p>\n<h3>Biography<\/h3>\n<p>Tony 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.<\/p>\n<p>His 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.<\/p>\n<p>On 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.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Posters\"} --><!-- wp:freeform --><p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4458\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4458\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4457\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 1\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4457\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4458\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>VORTEX &#8211; Volumetric Three-Dimensional ExplorerAbhijit Karnik, University of Bristol<\/li>\n<li>Types With Numeric ConstraintsAdam Gundry, University of Strathclyde<\/li>\n<li>Hardware Transactional Memory: Implementing a Lazy-Lazy SimulatorAdria Armejach, Barcelona Supercomputing Center Universitat Polit\u00e8cnica de Catalunya<\/li>\n<li>An Overview of GPGPU Programming with CUDA and AcceleratorAlexander Cole, Leicester University<\/li>\n<li>Optimal Automatizable Heuristic Proof SystemsAlexander V. Smal, Steklov Institute of Mathematics at St.Petersburg<\/li>\n<li>Exploring Compilers for Tiled ArchitecturesAli Mustafa Zaidi, University of Cambridge<\/li>\n<li>Local Coloring Of GraphsAli Pourmiri, Max-Planck-Institute for Informatic<\/li>\n<li>Modelling Food Web DynamicsAlice Boit, University of Potsdam<\/li>\n<li>Analysis of Content and Activity in Social Networks for Place RecommendationsAnastasios Noulas, University of Cambridge<\/li>\n<li>Computational Insights into Signalling Crosstalk and Dynamics during C. elegans Vulval DevelopmentAntje Beyer, University of Cambridge<\/li>\n<li>Mathematical tools for the design of cognitive radiosAntonia Masucci, Sup\u00e9lec<\/li>\n<li>Syscall elision: Specialising programs for a faster desktop experienceChris Smowton, University of Cambridge<\/li>\n<li>Exploring control and data management within an enhanced tangible multitouch surfaceDaniel Gallardo, Universitat Pompeu Fabra<\/li>\n<li>microRNAs as new players in biology and diseaseDavide Cacchiarelli, University of Rome &#8216;Sapienza&#8217;<\/li>\n<li>Determining the distance to monotonicity of a biological networksFahimeh Ramezani, Max Planck Institute for Informatic<\/li>\n<li>Correcting under-exposed imagesFrederic Besse, UCL<\/li>\n<li>Software Verification by Combining Program Analyses of Adjustable PrecisionGregory Theoduloz, \u00c9PFL<\/li>\n<li>Knowledge discovery in learner textsHelen Yannakoudakis, University of Cambridge<\/li>\n<li>Proglab.Net, Ensuring Embedded Software Reliability at Compile-TimeHossein Hojjat, \u00c9PFL<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4460\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4460\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4459\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 2\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4459\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4460\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>Towards Proof Script RefactoringIan Whiteside, University of Edinburgh<\/li>\n<li>Mobile phones as a gateway to cloud computingIoana Giurgiu, ETH Zurich<\/li>\n<li>Inferring Community Structure in Wild Bird PopulationsIoannis Psorakis, University of Oxford<\/li>\n<li>A data-constrained predictive model of tropical deforestation and resultant carbon emissionsIsabel Rosa, Imperial College London<\/li>\n<li>Unified Probabilistic Relevance Models for Information RetrievalJagadeesh Gorla, UCL<\/li>\n<li>Implementing Go!, A Multi Paradigm Language, on the .NET PlatformJamilu Abubakar, Imperial College London\/Microsoft<\/li>\n<li>Recommendation System for Twitter UsersJisun An, University of Cambridge<\/li>\n<li>Constraint-based Specifications for System ConfigurationJohn Hewson, University of Edinburgh<\/li>\n<li>A Medical Image Search EngineKar\u00e9n Simonyan, University of Oxford<\/li>\n<li>EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology ResearchKiran Rachuri, University of Cambridge<\/li>\n<li>GOmputer &#8211; The Go MachineLars Sch\u00e4fers, Paderborn University<\/li>\n<li>Describing complex ecological communities using dynamical modelsLawrence Hudson, Imperial College London<\/li>\n<li>Diversification and Intensification in Parallel SAT SolvingLong Guo, CRIL-Lens France<\/li>\n<li>Discovering the Intrinsic Image LayerLumin Zhang, Max-Planck Institute<\/li>\n<li>Nimbus: Intelligent Personal StorageMalte Schwarzkopf, University of Cambridge<\/li>\n<li>Automated Reasoning for Dynamic Authorization Policy AnalysisMartin Suda, Max-Planck-Institut f\u00fcr Informatik<\/li>\n<li>Heterogeneous Reasoning: diagrams in proofsMatej Urbas, University of Cambridge<\/li>\n<li>Orientability of HypergraphsMegha Khosla, Max Planck Institute for Informatics<\/li>\n<li>Video Matting using optical flowMikhail Sindeyev, Moscow State University<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4462\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4462\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4461\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 3\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4461\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4462\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ul>\n<li>Autonomous Local Search for Combinatorial Problem SolvingNadarajen Veerapen, Universit\u00e9 d&#8217;Angers<\/li>\n<li>Erdos: A social operating systemNarseo Vallina, University of Cambridge<\/li>\n<li>Global variation in tree mortalityNikee Groot, University of Leeds<\/li>\n<li>High-Performanced Visualization of Scientific DataSetsNikita Skoblov, Moscow State University<\/li>\n<li>Joint action and social interactionOlle Blomberg, University of Edinburgh<\/li>\n<li>Beefarm: an FPGA-based multiprocessor systemOriol Arcas, Barcelona Supercomputing Centre<\/li>\n<li>Reasoning about collections, Decision Procedures and ApplicationsRuzica Piskac, \u00c9PFL<\/li>\n<li>Facial expression synthesisTadas Baltrusaitis, University of Cambridge<\/li>\n<li>JigPheno: modelling visual phenotypes for association studiesTheofanis Karaletsos, Max Planck Insitute for Biological Cybernetics<\/li>\n<li>Trust on the InternetThomas Simpson, University of Cambridge<\/li>\n<li>Optimal Multicore Algorithms &amp; The GPGPUTomasz Jurkiewicz, Max-Planck-Institute f\u00fcr Informatik<\/li>\n<li>RMS-TM++ A New Transactional Benchmark SuiteVasilis Karakostas, Barcelona Supercomputing Center<\/li>\n<li>Data Acquisition via Compressive Sensing in Wireless Sensor networksWie Chen, University of Cambridge<\/li>\n<li>Buffer overflow identification via taint dataflow graphsWie Ming, University of Cambridge<\/li>\n<li>Biological network reconstruction from noisy dataYe Yuan, University of Cambridge<\/li>\n<li>Artem MelentyevHow to extend Java compilers for semantic verification<\/li>\n<li>David HopkinsModel checking using game semantics<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-4464\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-4464\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-4463\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Guidelines\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4463\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-4464\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p>Posters 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:<\/p>\n<ul>\n<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>\n<li>What the research is.<\/li>\n<li>What the intended outcome is.<\/li>\n<li>What stage it is at.<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/li>\n<\/ul>\n<p>Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.<\/p>\n<p>Posters should also clearly display your name and the name of your university.<\/p>\n<p>You can find example of posters on the page of the 2009 Summer School.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Leisure\"} --><!-- wp:freeform --><h2>Food and Drinks<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridge-pubs.co.uk\/\">Cambridge Pubs Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Theatres<\/h2>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL<br \/>\nTel: 01223 578933 For major theatre productions and national tours.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nPark St, Cambridge, Cambridgeshire CB5 8AS<br \/>\nTel: 01223 359547<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/web.anglia.ac.uk\/mumfordtheatre\/\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire<br \/>\nTel: 0845 196 2320<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE<br \/>\nTel: 01223 357851 For rock, pop, comedy and opera.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.junction.co.uk\/\">The Junction<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX<br \/>\nTel: (01223) 511511 Also for rock, pop, comedy.<\/p>\n<h2>Cinema<\/h2>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR<br \/>\nTel: 01223 572929 Arthouse and international.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\" target=\"_blank\">Cineworld<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nCambridge Leisure Park, Clifton Road<br \/>\nTel. 0871 200 2000 Multi screen Cinema complex.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS<br \/>\nTel: 0871 2240240 Multi screen Cinema.<\/p>\n<h2>Note<\/h2>\n<p>* The number of spaces for go-karting is limited, so we&#8217;ll select drivers on a first-come first-served basis.<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- \/wp:msr\/content-tabs -->","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","targetHints":{"allow":["GET"]}}],"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":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270684\/revisions"}],"predecessor-version":[{"id":1147307,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270684\/revisions\/1147307"}],"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}]}}