{"id":271293,"date":"2016-08-05T15:07:29","date_gmt":"2016-08-05T22:07:29","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=271293"},"modified":"2025-08-06T11:59:49","modified_gmt":"2025-08-06T18:59:49","slug":"phd-summer-school-2006","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2006\/","title":{"rendered":"PhD Summer School 2006"},"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<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\" href=\"http:\/\/www.facebook.com\/group.php?gid=272986518943\" target=\"_blank\">MSR Summer School 2006 Facebook Group<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.cl.cam.ac.uk\/\">Cambridge University Computer Laboratory<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.entrepreneurs.jbs.cam.ac.uk\/\">Cambridge Centre for Entrepreneurial Learning<span class=\"sr-only\"> (opens in new tab)<\/span><\/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>The first Microsoft Research Summer School for PhD students was held in Cambridge, U.K., on 4 July through 7 July 2006. It included a series of talks of academic interest and a posters session that gave invited PhD students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.<\/p>\n<p>Lectures and posters sessions were public and opened to faculty members and research students from the University of Cambridge. The venue was the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\" target=\"_self\">Microsoft Research laboratory in Cambridge<\/a>.<\/p>\n<p>Invited students included the\u00a0Microsoft Research PhD Scholars 2005 and other PhD students working on research projects sponsored by Microsoft.<\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-large wp-image-272031\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-1024x680.jpg\" alt=\"group_photo\" width=\"1024\" height=\"680\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-1024x680.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-300x199.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-768x510.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Wednesday, 5 July 2006<\/h2>\n<ul>\n<li>Socio-Digital Systems, Abigail Sellen (Microsoft Research)<\/li>\n<li>How to Write a Great Research Paper, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>How to Give a Great Research Talk, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>Bayesian Ranking: From Xbox Live to Computer Go, Ralf Herbrich (Microsoft Research)<\/li>\n<li>Introducing F#, Don Syme (Microsoft Research)<\/li>\n<\/ul>\n<h2>Thursday, 6 July 2006<\/h2>\n<ul>\n<li>Rough Guide to Being an Entrepreneur, Jack Lang (University of Cambridge)<\/li>\n<li>What Is Information Ethics?, Luciano Floridi (University of Oxford)<\/li>\n<li>Posters sessions<\/li>\n<\/ul>\n<h2>Friday, 7 July 2006<\/h2>\n<ul>\n<li>Verifying the Four Colour Theorem, Georges Gonthier (Microsoft Research)<\/li>\n<li>Simulating Biological Systems in the Stochastic Pi-Calculus, Andrew Phillips (Microsoft Research)<\/li>\n<li>Robots Unlimited, Alexander Br\u00e4ndle (Microsoft Research)<\/li>\n<\/ul>\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-4248\"}' 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-4248\"\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-4247\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAbigail Sellen | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4247\"\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-4248\"\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\/abisellen.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.jpg\" alt=\"abisellen\" width=\"100\" height=\"130\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.ppt\">New Directions in Human-Computer Interaction<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Abigail Sellen is a Senior Researcher in the Microsoft Cambridge Lab in the Socio-Digital Systems, a new interdisciplinary group with a focus on the human perspective in computing. As a group, we are interested in simple technologies and in learning from everyday life to inform the design of systems, which are both useful and compelling.<\/p>\n<p>Abigail joined Microsoft in June 2004 from Hewlett Packard Labs, Bristol. She spent six years at HP researching many different kinds of topics ranging from appliance design to web use to mobile technologies. Prior to HP, she spent seven years at Xerox\u2019s research lab in Cambridge UK (EuroPARC), was cross appointed to the MRC Applied Psychology Unit, Cambridge, and was a Research Fellow at Darwin College, Cambridge. During these years, her research covered many topics including: reading, paper use in offices, videoconferencing design, and computer support for human memory. Much of this work resulted in two books: <em>The Myth of the Paperless Office<\/em>, and <em>Video-Mediated Communication<\/em>. Before that, she worked for other corporate IT labs such as Xerox PARC, Apple Computer, and Bell Northern Research and worked on projects involving the design of input devices for 3D worlds, on-line help, and telephone interfaces.<\/p>\n<p>Abigail has a doctorate in Cognitive Science from the University of California, San Diego, where she was supervised by Don Norman. She also has an M.A.Sc. in Industrial Engineering from the University of Toronto, and did her undergraduate degree at the University of Toronto in Psychology. She spent some formative years as a post doc working with Bill Buxton, Ron Baecker and Marilyn Tremaine at the Computer Science Research Institute at the University of Toronto both in the Input Research Group and on the Telepresence Project. Her other main academic influence was her stepfather, John Senders, one of the pioneers of Human Factors research.<\/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-4250\"}' 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-4250\"\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-4249\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4249\"\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-4250\"\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\/simonpeytonjones-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-1.jpg\" alt=\"simonpeytonjones\" width=\"100\" height=\"128\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peytonjones-writingapaper.ppt\">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\/peytonjones-givingatalk.ppt\">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 are not easy. In this pair of presentations, I 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\u2014far from it\u2014and I hope that the presentation evolved 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\u2014that is 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-4252\"}' 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-4252\"\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-4251\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRalf Herbrich | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4251\"\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-4252\"\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\/ralfherbrich.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.jpg\" alt=\"ralfherbrich\" width=\"100\" height=\"105\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.ppt\">Bayesian Ranking: From Xbox Live to Computer Go<\/a><\/h2>\n<p>We have developed a Bayesian ranking system that estimates the individual skills of players based on the outcomes of games among teams composed of subsets of the players. The system maintains a belief about the skill of each player by two numbers, their average skill and the associated variance. Approximate message passing is used to compute the updates of the players\u2019 belief parameters after each game. After presenting the algorithmic aspects of the system, I outline two applications:<\/p>\n<ol>\n<li>TrueSkill \u2013 Ranking of players on the Microsoft Xbox Live service. Here the system is used to provide matchmaking and leader board functionality based on the estimated skills of players. The system is currently used as the standard ranking and matchmaking system in Xbox 360 Live.<\/li>\n<li>Liberty \u2013 Ranking of potential moves in Computer Go. The system is used to learn the values (skills) of local patterns (players) based on observed moves (winning team) in a given position (game). The &#8220;winner&#8221; is determined by observing which one of the legal moves in a given position has been played by a competent player. The result is a probability distribution over moves for a given position that can serve as a weak but fast stand-alone Go engine. This is joint work with Thore Graepel and David Stern (Computer Go).<\/li>\n<\/ol>\n<h3>Biography<\/h3>\n<p>Ralf Herbrich is Researcher in the Machine Learning and Perception group at Microsoft Research Cambridge. He is co-leading the Applied Games Group, which focuses on leveraging methods of approximate probabilistic inference for addressing relevant applications both in recreational games and in abstract decision games played in the real world. Ralf has published more than 50 papers in the area of machine learning, kernel methods and Bayesian analysis and has authored the monograph &#8220;Learning Kernel Classifiers&#8221; published by The MIT Press.<\/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-4254\"}' 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-4254\"\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-4253\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDon Syme | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4253\"\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-4254\"\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\/donsyme.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.jpg\" alt=\"donsyme\" width=\"100\" height=\"122\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.ppt\">Introducing F#<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>F# is a mathematically-oriented high-performance .NET scripting language that combines features familiar from Python, OCaml, C# and Scheme. Most importantly it gives you access to the entire range of powerful .NET libraries and database tools. This talk is a brief tutorial-style introduction to F# programming.<\/p>\n<h3>Biography<\/h3>\n<p>Don Syme joined Microsoft Research in 1998. Before that, he was a PhD student at the University of Cambridge Computer Laboratory after he I graduated from the Australian National University in 1993. Recently his research has revolved around Common IL and the Microsoft .NET Framework, and in particular the Microsoft .NET Common Language Runtime. He is involved in a number of projects here in Cambridge, including the design and implementation of support for Generics in C#, the CLR, Visual Basic and other languages, the design and implementation of F# and a study of value recursion in safe and semi-safe programming languages.<\/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-4256\"}' 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-4256\"\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-4255\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4255\"\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-4256\"\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\/jacklang.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.jpg\" alt=\"jacklang\" width=\"100\" height=\"144\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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 give an overview of the process, explain some of the success factors investors look for, and discuss 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 that 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-4258\"}' 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-4258\"\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-4257\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLuciano Floridi | University of Oxford\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4257\"\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-4258\"\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\/lucianofloridi.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.jpg\" alt=\"lucianofloridi\" width=\"100\" height=\"112\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.ppt\">What Is Information Ethics?<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Philosophers have recently turned their attention to the moral issues raised by Information and Communication Technologies (ICT). In less than a century, humanity has moved from a state of &#8220;submission&#8221; to nature, through a state of power of potential total destruction, to the present state in which we have the means and tools to engineer and manage entire new realities, to tailor them to our needs and to shape the future. Largely owing to ICT, our technological power is already enormous and is growing relentlessly. It is already so vast to have overcome the barrier between the natural and the artificial, the real and the virtual. For the first time in history, humanity can now create and control almost any aspect of its environment. Therefore, our moral responsibilities towards the world and future generations are equally enormous. How can we cope with these new ethical challenges? In this talk, I shall provide an answer in terms of &#8220;information ethics&#8221; (IE), that is, the branch of ethics that deals with moral issues emerging from the impact of ICT on society and human lives. The main point of the talk is that IE is a form of environmental ethics, which forces us to modify our basic conceptions of agent, patient and environment. Four main features of IE are outlined: according to IE,<\/p>\n<ol>\n<li>Moral agents need not be only human individuals but may be artificial<\/li>\n<li>Moral patients need not be animal or environmental, but may also be artificial<\/li>\n<li>Because of (1) and (2) it is important to extend our ethical-ecological concerns to artificial environments, especially since we are increasingly invested with significant responsibilities in the construction of new realities<\/li>\n<li>(1) through (3) pave the way to an unifying approach according to which all entities may be usefully understood as informational entities that deserve some minimal respect.<\/li>\n<\/ol>\n<p>The talk presupposes no knowledge of philosophical or ethical theories or of any related, technical vocabulary.<\/p>\n<h3>Biography<\/h3>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.wolfson.ox.ac.uk\/~floridi\/\">Luciano Floridi<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> is an Italian philosopher at the University of Oxford, best known for his research on the skeptical tradition and for his foundational work on the philosophy of information and on information ethics. He is Fellow of St Cross College, Oxford and Professor of Logic and Epistemology, Universit\u00e0 degli Studi di Bari. He is the founder and coordinator, with Jeff Sanders, of the IEG, the interdepartmental research group on the epistemology and ethics of information at Oxford, and the founder and director of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.swif.it\/\">SWIF<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, the Italian e-journal of philosophy. He is Vice President of IACAP, the International Association for Computing and Philosophy.<\/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-4260\"}' 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-4260\"\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-4259\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tGeorges Gonthier | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4259\"\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-4260\"\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\/georgesgonthier.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.jpg\" alt=\"georgesgonthier\" width=\"100\" height=\"133\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.ppt\">Four Colours Theorem<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>The 150-year-old Four Colour Theorem is the first famous result with a proof that requires large computer calculations. Such proofs are still controversial: It is thought that computer programs cannot be reviewed with mathematical rigor. To overturn this belief, we have created a fully computer-checked proof of the Four Colour Theorem. Using the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/coq.inria.fr\/\">Coq<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> proof assistant, we wrote an extended program that specifies both the calculations and their mathematical justification. Only the interface of the program \u2013 the statement of the theorem \u2013 needs to be reviewed. The rest (99.8%) is self-checking: Coq verifies that it strictly follows the rules of logic. Thus, our proof is more rigorous than a traditional one.<\/p>\n<h3>Biography<\/h3>\n<p>Georges Gonthier received his Doctorate in 1988 from Universit\u00e9 Paris XI for work on the Esterel reactive programming language. After two years at AT&T Bell Labs, he returned to France at INRIA in 1990. His work includes the optimal computation of functional programs, the formal verification of a concurrent memory management algorithm, and concurrency analysis of the Ariane 5 flight software. Dr Gonthier joined Microsoft Research Cambridge in 2003, where he completed the first fully computer-checked proof of the famous Four Colour Theorem.<\/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-4262\"}' 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-4262\"\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-4261\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Phillips | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4261\"\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-4262\"\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\/andrewphillips-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips-1.jpg\" alt=\"andrewphillips\" width=\"100\" height=\"120\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips.ppt\">Simulating Biological Systems in the Stochastic Pi-Calculus<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This talk presents an experimental programming language (<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/stochastic-pi-machine\/\">SPiM<\/a>) for modelling and simulating biological systems. The language is based on a mathematical formalism known as the pi-calculus, which was originally developed to model complex parallel computer systems. The language differs from traditional formalisms for biological modelling, by allowing the components of a biological system to be modelled independently, rather than modelling the individual reactions. This allows large models to be constructed by direct composition of simple components. The language also facilitates mathematical analysis of systems using a range of established techniques, which could eventually shed light on some of the fundamental properties of biological systems. The language is first presented by using a simple graphical notation, which is subsequently used to model and simulate an example gene network and part of an immune system pathway.<\/p>\n<h3>Biography<\/h3>\n<p>Andrew Phillips is a post-doctoral researcher at Microsoft Research Cambridge, where he is currently using techniques from concurrency theory to develop programming languages for modelling and simulating biological systems. Andrew was born in Barbados in 1977 and was awarded a government scholarship to study Engineering in 1995. In 2000, he received a degree in Computer Engineering from the INSA institute of Toulouse, France, together with a postgraduate degree in Computer Science from the University of Cambridge. He pursued a PhD in the Department of Computing at Imperial College London, where he developed an experimental language for specifying and implementing secure mobile applications. He later joined Microsoft Research Cambridge in 2005 to develop programming languages for modelling biological systems, in collaboration with Systems Biology researchers from various external institutions.<\/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-4264\"}' 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-4264\"\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-4263\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAlexander Br\u00e4ndle | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4263\"\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-4264\"\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\/alexanderbrandle.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.jpg\" alt=\"alexanderbrandle\" width=\"100\" height=\"138\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.ppt\">Robots Unlimited<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Alexander Br\u00e4ndle is the head of the Intelligent Environments group at Microsoft Research Cambridge. Before joining Microsoft in 1998, Alexander was working on systems for uncertain reasoning in the automation industry. He holds a doctorate in Electrical Engineering. His group is exploring and developing key enabling technologies to be integrated in future human inhabited computing environments. Alexander\u2019s personal research focus is in area of \u2018end user\u2019 programming technologies and human robot interaction and integration in human environments.<\/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-4266\"}' 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-4266\"\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-4265\"\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-4265\"\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-4266\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brianschroeder.pdf\" target=\"_self\">Real time editing of face expressions in video streams<\/a> | Brian Amberg (Universit\u00e4t Basel)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/konradkieling.pdf\" target=\"_self\">Linear optical quantum computing: novel architectures and computational assessment of performance<\/a> | Konrad Kieling (Imperial College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pdf\" target=\"_self\">A peer-to-peer based file backup system<\/a> | Alessandro Duminuco (Eur\u00e9com)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/juhomakio.pdf\" target=\"_self\">P-Trade \u2013 The generic P2P trading platform<\/a> | Juho M\u00e4ki\u00f6 (Forschungszentrum Informatik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardkuntschke.pdf\" target=\"_self\">StreamGlobe: P2P stream sharing<\/a> | Richard Kuntschke (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tobiasscholl.pdf\" target=\"_self\">Histogram-based P2P main memory database for locality-aware data<\/a> | Tobias Scholl (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/marcschanne.pdf\" target=\"_self\">EventChannelNetwork asynchronous with hard real-time<\/a> | Marc Schanne (FZI Forschungszentrum Informatik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyodonovan.pdf\" target=\"_self\">Wireless sensor networks in the area of medical informatics<\/a> | Tony O\u2019Donovan (University College Cork)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dandobre.pdf\" target=\"_self\">Fast asynchronous agreement protocols<\/a> | Dan Dobre (Technische Universit\u00e4t Darmstadt)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexspengler.pdf\" target=\"_self\">Improving machine learning predictions by exploiting structural information<\/a> | Alex Spengler (Universit\u00e9 Pierre et Marie Curie \u2013 Paris 6)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/michaelkaisser.pdf\" target=\"_self\">Web question answering by exploiting wide-coverage lexical resources<\/a> | Michael Kaisser (University of Edinburgh)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abigaildurrant.pdf\" target=\"_self\">Designing photographic experiences to support autobiographical memory<\/a> | Abigail Durrant (Surrey University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/davidstynes.ppt\" target=\"_self\">Adversarial constraint solving<\/a> | David Stynes (University College Cork)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/gillesraymond.pdf\" target=\"_self\">Mining historical data to build constraint viewpoint<\/a> | Gilles Raymond (Universit\u00e9 de Montpellier)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewweeks.pdf\" target=\"_self\">Neutral emergence<\/a> | Andrew Weeks (University of York)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.pdf\" target=\"_self\">Prediction of chemical shifts for protein (mis)-folding studies<\/a> | Kai Kohlhoff (University of Cambridge)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kesterclegg.ppt\" target=\"_self\">Binding analogue signals to digital genomes: using feedback to guide evolutionary search<\/a> | Kester Clegg (University of York)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.pdf\" target=\"_self\">Modelling inference and simulation of biological networks using constraint logic programming<\/a> | Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philippealexandrepouille.pdf\" target=\"_self\">In silico model of embryogenesis<\/a> | Philippe-Alexandre Pouille (Institut Curie)<\/li>\n<\/ol>\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-4268\"}' 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-4268\"\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-4267\"\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-4267\"\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-4268\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danielequercia.pdf\" target=\"_self\">Sharing with free-riders: trust models to the rescue<\/a> | Daniele Quercia (University College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brendansheehan.pdf\" target=\"_self\">Model driven visualization of large scale relational networks<\/a> | Brendan Sheehan (University College Dublin)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peterwong.pdf\" target=\"_self\">Towards a unified model for workflow process<\/a> | Peter Wong (University of Oxford)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderschneider.pdf\" target=\"_self\">Context-awareness in service-oriented architectures for mobile ambient intelligence services<\/a> | Alexander Schneider (Fraunhofer-Institut f\u00fcr Angewandte Informationstechnik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andreasheil.pdf\" target=\"_self\">End-user debugging in distributed environments<\/a> | Andreas Heil (University of Stuttgart)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andymaule.pdf\" target=\"_self\">Impact analysis of relational schema changes on native language queries<\/a> | Andy Maule (University College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/aziemchawdhary.pdf\" target=\"_self\">Termination analysers for free!<\/a> | Aziem Chawdhary (Queen Mary University of London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianschroff.pdf\" target=\"_self\">Using a mixture model for class-based segmentation<\/a> | Florian Schroff (University of Oxford)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.pdf\" target=\"_self\">Loop detection \u2013 Advances in counterexample guided abstraction-refinement<\/a> | Georg Weissenbacher (ETH Zurich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/giorgiogianforme.pdf\" target=\"_self\">Schema and data mapping and transformation<\/a> | Giorgio Gianforme (Universit\u00e0 Roma Tre)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/loicfejoz.pdf\" target=\"_self\">Provably correct lock-free data structures<\/a> | Lo\u00efc Fejoz (LORIA)<\/li>\n<li>Computational effects and continuation-passing style | Peter Buchlovsky (University of Cambridge)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/martinfeilkas.pdf\" target=\"_self\">Domain specific languages and model transformation<\/a> | Martin Feilkas (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexpoyda.pdf\" target=\"_self\">Environmental Scenario Search Engine<\/a> | Alexey Poyda (Moscow State University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/damianserranogarcia.pdf\" target=\"_self\">High performance database replication for storage area networks<\/a> | Damian Serrano-Garcia (Universidad Politecnica de Madrid)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymedvedev.pdf\" target=\"_self\">SPIDR \u2013 Space physics interactive data resource<\/a> | Dmitry Medvedev (Bauman Moscow State Technical University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymishin.pdf\" target=\"_self\">Geophysical models and data flows in GRID environment<\/a> | Dmitry Mishin (Earth Physics Institute)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stewarthickey.pdf\" target=\"_self\">Technologies for sustainable ICT<\/a> | Stewart Hickey (University of Limerick)<\/li>\n<\/ol>\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-4270\"}' 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-4270\"\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-4269\"\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-4269\"\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-4270\"\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 x 841 mm) colour printing 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>The intended outcome<\/li>\n<li>The stage of the research<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps<\/li>\n<\/ul>\n<p>Posters should also clearly display your name and the name of your university. A competition is organised to decide which poster best achieves these presentation goals. The winner is offered a travel sponsorship to a tier-one international conference in their field of research.<\/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","protected":false},"excerpt":{"rendered":"<p>Links Microsoft Research Cambridge (opens in new tab) MSR Summer School 2006 Facebook Group (opens in new tab) Cambridge University Computer Laboratory (opens in new tab) Cambridge Centre for Entrepreneurial Learning (opens in new tab) Opens in a new tab The first Microsoft Research Summer School for PhD students was held in Cambridge, U.K., on [&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":"2006-07-04","msr_enddate":"2006-07-07","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-271293","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 2006\",\"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<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\" href=\"http:\/\/www.facebook.com\/group.php?gid=272986518943\" target=\"_blank\">MSR Summer School 2006 Facebook Group<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.cl.cam.ac.uk\/\">Cambridge University Computer Laboratory<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.entrepreneurs.jbs.cam.ac.uk\/\">Cambridge Centre for Entrepreneurial Learning<span class=\"sr-only\"> (opens in new tab)<\/span><\/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>The first Microsoft Research Summer School for PhD students was held in Cambridge, U.K., on 4 July through 7 July 2006. It included a series of talks of academic interest and a posters session that gave invited PhD students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.<\/p>\n<p>Lectures and posters sessions were public and opened to faculty members and research students from the University of Cambridge. The venue was the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\" target=\"_self\">Microsoft Research laboratory in Cambridge<\/a>.<\/p>\n<p>Invited students included the\u00a0Microsoft Research PhD Scholars 2005 and other PhD students working on research projects sponsored by Microsoft.<\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-large wp-image-272031\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-1024x680.jpg\" alt=\"group_photo\" width=\"1024\" height=\"680\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-1024x680.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-300x199.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-768x510.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/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>Wednesday, 5 July 2006<\/h2>\n<ul>\n<li>Socio-Digital Systems, Abigail Sellen (Microsoft Research)<\/li>\n<li>How to Write a Great Research Paper, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>How to Give a Great Research Talk, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>Bayesian Ranking: From Xbox Live to Computer Go, Ralf Herbrich (Microsoft Research)<\/li>\n<li>Introducing F#, Don Syme (Microsoft Research)<\/li>\n<\/ul>\n<h2>Thursday, 6 July 2006<\/h2>\n<ul>\n<li>Rough Guide to Being an Entrepreneur, Jack Lang (University of Cambridge)<\/li>\n<li>What Is Information Ethics?, Luciano Floridi (University of Oxford)<\/li>\n<li>Posters sessions<\/li>\n<\/ul>\n<h2>Friday, 7 July 2006<\/h2>\n<ul>\n<li>Verifying the Four Colour Theorem, Georges Gonthier (Microsoft Research)<\/li>\n<li>Simulating Biological Systems in the Stochastic Pi-Calculus, Andrew Phillips (Microsoft Research)<\/li>\n<li>Robots Unlimited, Alexander Br\u00e4ndle (Microsoft Research)<\/li>\n<\/ul>\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-4248\"}' 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-4248\"\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-4247\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAbigail Sellen | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4247\"\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-4248\"\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\/abisellen.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.jpg\" alt=\"abisellen\" width=\"100\" height=\"130\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.ppt\">New Directions in Human-Computer Interaction<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Abigail Sellen is a Senior Researcher in the Microsoft Cambridge Lab in the Socio-Digital Systems, a new interdisciplinary group with a focus on the human perspective in computing. As a group, we are interested in simple technologies and in learning from everyday life to inform the design of systems, which are both useful and compelling.<\/p>\n<p>Abigail joined Microsoft in June 2004 from Hewlett Packard Labs, Bristol. She spent six years at HP researching many different kinds of topics ranging from appliance design to web use to mobile technologies. Prior to HP, she spent seven years at Xerox\u2019s research lab in Cambridge UK (EuroPARC), was cross appointed to the MRC Applied Psychology Unit, Cambridge, and was a Research Fellow at Darwin College, Cambridge. During these years, her research covered many topics including: reading, paper use in offices, videoconferencing design, and computer support for human memory. Much of this work resulted in two books: <em>The Myth of the Paperless Office<\/em>, and <em>Video-Mediated Communication<\/em>. Before that, she worked for other corporate IT labs such as Xerox PARC, Apple Computer, and Bell Northern Research and worked on projects involving the design of input devices for 3D worlds, on-line help, and telephone interfaces.<\/p>\n<p>Abigail has a doctorate in Cognitive Science from the University of California, San Diego, where she was supervised by Don Norman. She also has an M.A.Sc. in Industrial Engineering from the University of Toronto, and did her undergraduate degree at the University of Toronto in Psychology. She spent some formative years as a post doc working with Bill Buxton, Ron Baecker and Marilyn Tremaine at the Computer Science Research Institute at the University of Toronto both in the Input Research Group and on the Telepresence Project. Her other main academic influence was her stepfather, John Senders, one of the pioneers of Human Factors research.<\/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-4250\"}' 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-4250\"\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-4249\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4249\"\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-4250\"\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\/simonpeytonjones-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-1.jpg\" alt=\"simonpeytonjones\" width=\"100\" height=\"128\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peytonjones-writingapaper.ppt\">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\/peytonjones-givingatalk.ppt\">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 are not easy. In this pair of presentations, I 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\u2014far from it\u2014and I hope that the presentation evolved 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\u2014that is 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-4252\"}' 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-4252\"\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-4251\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRalf Herbrich | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4251\"\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-4252\"\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\/ralfherbrich.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.jpg\" alt=\"ralfherbrich\" width=\"100\" height=\"105\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.ppt\">Bayesian Ranking: From Xbox Live to Computer Go<\/a><\/h2>\n<p>We have developed a Bayesian ranking system that estimates the individual skills of players based on the outcomes of games among teams composed of subsets of the players. The system maintains a belief about the skill of each player by two numbers, their average skill and the associated variance. Approximate message passing is used to compute the updates of the players\u2019 belief parameters after each game. After presenting the algorithmic aspects of the system, I outline two applications:<\/p>\n<ol>\n<li>TrueSkill \u2013 Ranking of players on the Microsoft Xbox Live service. Here the system is used to provide matchmaking and leader board functionality based on the estimated skills of players. The system is currently used as the standard ranking and matchmaking system in Xbox 360 Live.<\/li>\n<li>Liberty \u2013 Ranking of potential moves in Computer Go. The system is used to learn the values (skills) of local patterns (players) based on observed moves (winning team) in a given position (game). The &#8220;winner&#8221; is determined by observing which one of the legal moves in a given position has been played by a competent player. The result is a probability distribution over moves for a given position that can serve as a weak but fast stand-alone Go engine. This is joint work with Thore Graepel and David Stern (Computer Go).<\/li>\n<\/ol>\n<h3>Biography<\/h3>\n<p>Ralf Herbrich is Researcher in the Machine Learning and Perception group at Microsoft Research Cambridge. He is co-leading the Applied Games Group, which focuses on leveraging methods of approximate probabilistic inference for addressing relevant applications both in recreational games and in abstract decision games played in the real world. Ralf has published more than 50 papers in the area of machine learning, kernel methods and Bayesian analysis and has authored the monograph &#8220;Learning Kernel Classifiers&#8221; published by The MIT Press.<\/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-4254\"}' 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-4254\"\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-4253\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDon Syme | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4253\"\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-4254\"\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\/donsyme.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.jpg\" alt=\"donsyme\" width=\"100\" height=\"122\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.ppt\">Introducing F#<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>F# is a mathematically-oriented high-performance .NET scripting language that combines features familiar from Python, OCaml, C# and Scheme. Most importantly it gives you access to the entire range of powerful .NET libraries and database tools. This talk is a brief tutorial-style introduction to F# programming.<\/p>\n<h3>Biography<\/h3>\n<p>Don Syme joined Microsoft Research in 1998. Before that, he was a PhD student at the University of Cambridge Computer Laboratory after he I graduated from the Australian National University in 1993. Recently his research has revolved around Common IL and the Microsoft .NET Framework, and in particular the Microsoft .NET Common Language Runtime. He is involved in a number of projects here in Cambridge, including the design and implementation of support for Generics in C#, the CLR, Visual Basic and other languages, the design and implementation of F# and a study of value recursion in safe and semi-safe programming languages.<\/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-4256\"}' 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-4256\"\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-4255\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4255\"\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-4256\"\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\/jacklang.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.jpg\" alt=\"jacklang\" width=\"100\" height=\"144\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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 give an overview of the process, explain some of the success factors investors look for, and discuss 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 that 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-4258\"}' 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-4258\"\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-4257\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tLuciano Floridi | University of Oxford\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4257\"\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-4258\"\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\/lucianofloridi.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.jpg\" alt=\"lucianofloridi\" width=\"100\" height=\"112\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.ppt\">What Is Information Ethics?<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Philosophers have recently turned their attention to the moral issues raised by Information and Communication Technologies (ICT). In less than a century, humanity has moved from a state of &#8220;submission&#8221; to nature, through a state of power of potential total destruction, to the present state in which we have the means and tools to engineer and manage entire new realities, to tailor them to our needs and to shape the future. Largely owing to ICT, our technological power is already enormous and is growing relentlessly. It is already so vast to have overcome the barrier between the natural and the artificial, the real and the virtual. For the first time in history, humanity can now create and control almost any aspect of its environment. Therefore, our moral responsibilities towards the world and future generations are equally enormous. How can we cope with these new ethical challenges? In this talk, I shall provide an answer in terms of &#8220;information ethics&#8221; (IE), that is, the branch of ethics that deals with moral issues emerging from the impact of ICT on society and human lives. The main point of the talk is that IE is a form of environmental ethics, which forces us to modify our basic conceptions of agent, patient and environment. Four main features of IE are outlined: according to IE,<\/p>\n<ol>\n<li>Moral agents need not be only human individuals but may be artificial<\/li>\n<li>Moral patients need not be animal or environmental, but may also be artificial<\/li>\n<li>Because of (1) and (2) it is important to extend our ethical-ecological concerns to artificial environments, especially since we are increasingly invested with significant responsibilities in the construction of new realities<\/li>\n<li>(1) through (3) pave the way to an unifying approach according to which all entities may be usefully understood as informational entities that deserve some minimal respect.<\/li>\n<\/ol>\n<p>The talk presupposes no knowledge of philosophical or ethical theories or of any related, technical vocabulary.<\/p>\n<h3>Biography<\/h3>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.wolfson.ox.ac.uk\/~floridi\/\">Luciano Floridi<\/a> is an Italian philosopher at the University of Oxford, best known for his research on the skeptical tradition and for his foundational work on the philosophy of information and on information ethics. He is Fellow of St Cross College, Oxford and Professor of Logic and Epistemology, Universit\u00e0 degli Studi di Bari. He is the founder and coordinator, with Jeff Sanders, of the IEG, the interdepartmental research group on the epistemology and ethics of information at Oxford, and the founder and director of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.swif.it\/\">SWIF<\/a>, the Italian e-journal of philosophy. He is Vice President of IACAP, the International Association for Computing and Philosophy.<\/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-4260\"}' 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-4260\"\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-4259\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tGeorges Gonthier | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4259\"\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-4260\"\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\/georgesgonthier.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.jpg\" alt=\"georgesgonthier\" width=\"100\" height=\"133\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.ppt\">Four Colours Theorem<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>The 150-year-old Four Colour Theorem is the first famous result with a proof that requires large computer calculations. Such proofs are still controversial: It is thought that computer programs cannot be reviewed with mathematical rigor. To overturn this belief, we have created a fully computer-checked proof of the Four Colour Theorem. Using the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/coq.inria.fr\/\">Coq<\/a> proof assistant, we wrote an extended program that specifies both the calculations and their mathematical justification. Only the interface of the program \u2013 the statement of the theorem \u2013 needs to be reviewed. The rest (99.8%) is self-checking: Coq verifies that it strictly follows the rules of logic. Thus, our proof is more rigorous than a traditional one.<\/p>\n<h3>Biography<\/h3>\n<p>Georges Gonthier received his Doctorate in 1988 from Universit\u00e9 Paris XI for work on the Esterel reactive programming language. After two years at AT&amp;T Bell Labs, he returned to France at INRIA in 1990. His work includes the optimal computation of functional programs, the formal verification of a concurrent memory management algorithm, and concurrency analysis of the Ariane 5 flight software. Dr Gonthier joined Microsoft Research Cambridge in 2003, where he completed the first fully computer-checked proof of the famous Four Colour Theorem.<\/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-4262\"}' 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-4262\"\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-4261\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Phillips | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4261\"\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-4262\"\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\/andrewphillips-1.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips-1.jpg\" alt=\"andrewphillips\" width=\"100\" height=\"120\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips.ppt\">Simulating Biological Systems in the Stochastic Pi-Calculus<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This talk presents an experimental programming language (<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/stochastic-pi-machine\/\">SPiM<\/a>) for modelling and simulating biological systems. The language is based on a mathematical formalism known as the pi-calculus, which was originally developed to model complex parallel computer systems. The language differs from traditional formalisms for biological modelling, by allowing the components of a biological system to be modelled independently, rather than modelling the individual reactions. This allows large models to be constructed by direct composition of simple components. The language also facilitates mathematical analysis of systems using a range of established techniques, which could eventually shed light on some of the fundamental properties of biological systems. The language is first presented by using a simple graphical notation, which is subsequently used to model and simulate an example gene network and part of an immune system pathway.<\/p>\n<h3>Biography<\/h3>\n<p>Andrew Phillips is a post-doctoral researcher at Microsoft Research Cambridge, where he is currently using techniques from concurrency theory to develop programming languages for modelling and simulating biological systems. Andrew was born in Barbados in 1977 and was awarded a government scholarship to study Engineering in 1995. In 2000, he received a degree in Computer Engineering from the INSA institute of Toulouse, France, together with a postgraduate degree in Computer Science from the University of Cambridge. He pursued a PhD in the Department of Computing at Imperial College London, where he developed an experimental language for specifying and implementing secure mobile applications. He later joined Microsoft Research Cambridge in 2005 to develop programming languages for modelling biological systems, in collaboration with Systems Biology researchers from various external institutions.<\/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-4264\"}' 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-4264\"\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-4263\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAlexander Br\u00e4ndle | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4263\"\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-4264\"\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\/alexanderbrandle.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-272037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.jpg\" alt=\"alexanderbrandle\" width=\"100\" height=\"138\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.ppt\">Robots Unlimited<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Alexander Br\u00e4ndle is the head of the Intelligent Environments group at Microsoft Research Cambridge. Before joining Microsoft in 1998, Alexander was working on systems for uncertain reasoning in the automation industry. He holds a doctorate in Electrical Engineering. His group is exploring and developing key enabling technologies to be integrated in future human inhabited computing environments. Alexander\u2019s personal research focus is in area of \u2018end user\u2019 programming technologies and human robot interaction and integration in human environments.<\/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-4266\"}' 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-4266\"\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-4265\"\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-4265\"\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-4266\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brianschroeder.pdf\" target=\"_self\">Real time editing of face expressions in video streams<\/a> | Brian Amberg (Universit\u00e4t Basel)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/konradkieling.pdf\" target=\"_self\">Linear optical quantum computing: novel architectures and computational assessment of performance<\/a> | Konrad Kieling (Imperial College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pdf\" target=\"_self\">A peer-to-peer based file backup system<\/a> | Alessandro Duminuco (Eur\u00e9com)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/juhomakio.pdf\" target=\"_self\">P-Trade \u2013 The generic P2P trading platform<\/a> | Juho M\u00e4ki\u00f6 (Forschungszentrum Informatik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardkuntschke.pdf\" target=\"_self\">StreamGlobe: P2P stream sharing<\/a> | Richard Kuntschke (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tobiasscholl.pdf\" target=\"_self\">Histogram-based P2P main memory database for locality-aware data<\/a> | Tobias Scholl (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/marcschanne.pdf\" target=\"_self\">EventChannelNetwork asynchronous with hard real-time<\/a> | Marc Schanne (FZI Forschungszentrum Informatik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyodonovan.pdf\" target=\"_self\">Wireless sensor networks in the area of medical informatics<\/a> | Tony O\u2019Donovan (University College Cork)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dandobre.pdf\" target=\"_self\">Fast asynchronous agreement protocols<\/a> | Dan Dobre (Technische Universit\u00e4t Darmstadt)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexspengler.pdf\" target=\"_self\">Improving machine learning predictions by exploiting structural information<\/a> | Alex Spengler (Universit\u00e9 Pierre et Marie Curie \u2013 Paris 6)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/michaelkaisser.pdf\" target=\"_self\">Web question answering by exploiting wide-coverage lexical resources<\/a> | Michael Kaisser (University of Edinburgh)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abigaildurrant.pdf\" target=\"_self\">Designing photographic experiences to support autobiographical memory<\/a> | Abigail Durrant (Surrey University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/davidstynes.ppt\" target=\"_self\">Adversarial constraint solving<\/a> | David Stynes (University College Cork)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/gillesraymond.pdf\" target=\"_self\">Mining historical data to build constraint viewpoint<\/a> | Gilles Raymond (Universit\u00e9 de Montpellier)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewweeks.pdf\" target=\"_self\">Neutral emergence<\/a> | Andrew Weeks (University of York)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.pdf\" target=\"_self\">Prediction of chemical shifts for protein (mis)-folding studies<\/a> | Kai Kohlhoff (University of Cambridge)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kesterclegg.ppt\" target=\"_self\">Binding analogue signals to digital genomes: using feedback to guide evolutionary search<\/a> | Kester Clegg (University of York)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.pdf\" target=\"_self\">Modelling inference and simulation of biological networks using constraint logic programming<\/a> | Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philippealexandrepouille.pdf\" target=\"_self\">In silico model of embryogenesis<\/a> | Philippe-Alexandre Pouille (Institut Curie)<\/li>\n<\/ol>\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-4268\"}' 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-4268\"\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-4267\"\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-4267\"\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-4268\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danielequercia.pdf\" target=\"_self\">Sharing with free-riders: trust models to the rescue<\/a> | Daniele Quercia (University College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brendansheehan.pdf\" target=\"_self\">Model driven visualization of large scale relational networks<\/a> | Brendan Sheehan (University College Dublin)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peterwong.pdf\" target=\"_self\">Towards a unified model for workflow process<\/a> | Peter Wong (University of Oxford)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderschneider.pdf\" target=\"_self\">Context-awareness in service-oriented architectures for mobile ambient intelligence services<\/a> | Alexander Schneider (Fraunhofer-Institut f\u00fcr Angewandte Informationstechnik)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andreasheil.pdf\" target=\"_self\">End-user debugging in distributed environments<\/a> | Andreas Heil (University of Stuttgart)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andymaule.pdf\" target=\"_self\">Impact analysis of relational schema changes on native language queries<\/a> | Andy Maule (University College London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/aziemchawdhary.pdf\" target=\"_self\">Termination analysers for free!<\/a> | Aziem Chawdhary (Queen Mary University of London)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianschroff.pdf\" target=\"_self\">Using a mixture model for class-based segmentation<\/a> | Florian Schroff (University of Oxford)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.pdf\" target=\"_self\">Loop detection \u2013 Advances in counterexample guided abstraction-refinement<\/a> | Georg Weissenbacher (ETH Zurich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/giorgiogianforme.pdf\" target=\"_self\">Schema and data mapping and transformation<\/a> | Giorgio Gianforme (Universit\u00e0 Roma Tre)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/loicfejoz.pdf\" target=\"_self\">Provably correct lock-free data structures<\/a> | Lo\u00efc Fejoz (LORIA)<\/li>\n<li>Computational effects and continuation-passing style | Peter Buchlovsky (University of Cambridge)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/martinfeilkas.pdf\" target=\"_self\">Domain specific languages and model transformation<\/a> | Martin Feilkas (Technical University Munich)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexpoyda.pdf\" target=\"_self\">Environmental Scenario Search Engine<\/a> | Alexey Poyda (Moscow State University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/damianserranogarcia.pdf\" target=\"_self\">High performance database replication for storage area networks<\/a> | Damian Serrano-Garcia (Universidad Politecnica de Madrid)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymedvedev.pdf\" target=\"_self\">SPIDR \u2013 Space physics interactive data resource<\/a> | Dmitry Medvedev (Bauman Moscow State Technical University)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymishin.pdf\" target=\"_self\">Geophysical models and data flows in GRID environment<\/a> | Dmitry Mishin (Earth Physics Institute)<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stewarthickey.pdf\" target=\"_self\">Technologies for sustainable ICT<\/a> | Stewart Hickey (University of Limerick)<\/li>\n<\/ol>\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-4270\"}' 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-4270\"\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-4269\"\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-4269\"\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-4270\"\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 x 841 mm) colour printing 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>The intended outcome<\/li>\n<li>The stage of the research<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps<\/li>\n<\/ul>\n<p>Posters should also clearly display your name and the name of your university. A competition is organised to decide which poster best achieves these presentation goals. The winner is offered a travel sponsorship to a tier-one international conference in their field of research.<\/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-tabs -->","tab-content":[{"id":0,"name":"About","content":"The first Microsoft Research Summer School for PhD students was held in Cambridge, U.K., on 4 July through 7 July 2006. It included a series of talks of academic interest and a posters session that gave invited PhD students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.\r\n\r\nLectures and posters sessions were public and opened to faculty members and research students from the University of Cambridge. The venue was the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\" target=\"_self\">Microsoft Research laboratory in Cambridge<\/a>.\r\n\r\nInvited students included the\u00a0Microsoft Research PhD Scholars 2005 and other PhD students working on research projects sponsored by Microsoft.\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1.jpg\"><img class=\"alignnone size-large wp-image-272031\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1-1024x680.jpg\" alt=\"group_photo\" width=\"1024\" height=\"680\" \/><\/a>"},{"id":1,"name":"Agenda","content":"<h2>Wednesday, 5 July 2006<\/h2>\r\n<ul>\r\n \t<li>Socio-Digital Systems, Abigail Sellen (Microsoft Research)<\/li>\r\n \t<li>How to Write a Great Research Paper, Simon Peyton-Jones (Microsoft Research)<\/li>\r\n \t<li>How to Give a Great Research Talk, Simon Peyton-Jones (Microsoft Research)<\/li>\r\n \t<li>Bayesian Ranking: From Xbox Live to Computer Go, Ralf Herbrich (Microsoft Research)<\/li>\r\n \t<li>Introducing F#, Don Syme (Microsoft Research)<\/li>\r\n<\/ul>\r\n<h2>Thursday, 6 July 2006<\/h2>\r\n<ul>\r\n \t<li>Rough Guide to Being an Entrepreneur, Jack Lang (University of Cambridge)<\/li>\r\n \t<li>What Is Information Ethics?, Luciano Floridi (University of Oxford)<\/li>\r\n \t<li>Posters sessions<\/li>\r\n<\/ul>\r\n<h2>Friday, 7 July 2006<\/h2>\r\n<ul>\r\n \t<li>Verifying the Four Colour Theorem, Georges Gonthier (Microsoft Research)<\/li>\r\n \t<li>Simulating Biological Systems in the Stochastic Pi-Calculus, Andrew Phillips (Microsoft Research)<\/li>\r\n \t<li>Robots Unlimited, Alexander Br\u00e4ndle (Microsoft Research)<\/li>\r\n<\/ul>"},{"id":2,"name":"Speakers and Abstracts","content":"<h2>Talk Abstracts and Speaker Biographies<\/h2>\r\n[accordion]\r\n\r\n[panel header=\"Abigail Sellen | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.jpg\"><img class=\"size-full wp-image-272034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.jpg\" alt=\"abisellen\" width=\"100\" height=\"130\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abisellen.ppt\">New Directions in Human-Computer Interaction<\/a><\/h2>\r\n<h3>Biography<\/h3>\r\nAbigail Sellen is a Senior Researcher in the Microsoft Cambridge Lab in the Socio-Digital Systems, a new interdisciplinary group with a focus on the human perspective in computing. As a group, we are interested in simple technologies and in learning from everyday life to inform the design of systems, which are both useful and compelling.\r\n\r\nAbigail joined Microsoft in June 2004 from Hewlett Packard Labs, Bristol. She spent six years at HP researching many different kinds of topics ranging from appliance design to web use to mobile technologies. Prior to HP, she spent seven years at Xerox\u2019s research lab in Cambridge UK (EuroPARC), was cross appointed to the MRC Applied Psychology Unit, Cambridge, and was a Research Fellow at Darwin College, Cambridge. During these years, her research covered many topics including: reading, paper use in offices, videoconferencing design, and computer support for human memory. Much of this work resulted in two books: <em>The Myth of the Paperless Office<\/em>, and <em>Video-Mediated Communication<\/em>. Before that, she worked for other corporate IT labs such as Xerox PARC, Apple Computer, and Bell Northern Research and worked on projects involving the design of input devices for 3D worlds, on-line help, and telephone interfaces.\r\n\r\nAbigail has a doctorate in Cognitive Science from the University of California, San Diego, where she was supervised by Don Norman. She also has an M.A.Sc. in Industrial Engineering from the University of Toronto, and did her undergraduate degree at the University of Toronto in Psychology. She spent some formative years as a post doc working with Bill Buxton, Ron Baecker and Marilyn Tremaine at the Computer Science Research Institute at the University of Toronto both in the Input Research Group and on the Telepresence Project. Her other main academic influence was her stepfather, John Senders, one of the pioneers of Human Factors research.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Simon Peyton Jones | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-1.jpg\"><img class=\"size-full wp-image-272058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-1.jpg\" alt=\"simonpeytonjones\" width=\"100\" height=\"128\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peytonjones-writingapaper.ppt\">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\/peytonjones-givingatalk.ppt\">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 are not easy. In this pair of presentations, I 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\u2014far from it\u2014and I hope that the presentation evolved 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\u2014that is 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=\"Ralf Herbrich | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.jpg\"><img class=\"size-full wp-image-272055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.jpg\" alt=\"ralfherbrich\" width=\"100\" height=\"105\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralfherbrich.ppt\">Bayesian Ranking: From Xbox Live to Computer Go<\/a><\/h2>\r\nWe have developed a Bayesian ranking system that estimates the individual skills of players based on the outcomes of games among teams composed of subsets of the players. The system maintains a belief about the skill of each player by two numbers, their average skill and the associated variance. Approximate message passing is used to compute the updates of the players\u2019 belief parameters after each game. After presenting the algorithmic aspects of the system, I outline two applications:\r\n<ol>\r\n \t<li>TrueSkill \u2013 Ranking of players on the Microsoft Xbox Live service. Here the system is used to provide matchmaking and leader board functionality based on the estimated skills of players. The system is currently used as the standard ranking and matchmaking system in Xbox 360 Live.<\/li>\r\n \t<li>Liberty \u2013 Ranking of potential moves in Computer Go. The system is used to learn the values (skills) of local patterns (players) based on observed moves (winning team) in a given position (game). The \"winner\" is determined by observing which one of the legal moves in a given position has been played by a competent player. The result is a probability distribution over moves for a given position that can serve as a weak but fast stand-alone Go engine. This is joint work with Thore Graepel and David Stern (Computer Go).<\/li>\r\n<\/ol>\r\n<h3>Biography<\/h3>\r\nRalf Herbrich is Researcher in the Machine Learning and Perception group at Microsoft Research Cambridge. He is co-leading the Applied Games Group, which focuses on leveraging methods of approximate probabilistic inference for addressing relevant applications both in recreational games and in abstract decision games played in the real world. Ralf has published more than 50 papers in the area of machine learning, kernel methods and Bayesian analysis and has authored the monograph \"Learning Kernel Classifiers\" published by The MIT Press.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Don Syme | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.jpg\"><img class=\"size-full wp-image-272043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.jpg\" alt=\"donsyme\" width=\"100\" height=\"122\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/donsyme.ppt\">Introducing F#<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nF# is a mathematically-oriented high-performance .NET scripting language that combines features familiar from Python, OCaml, C# and Scheme. Most importantly it gives you access to the entire range of powerful .NET libraries and database tools. This talk is a brief tutorial-style introduction to F# programming.\r\n<h3>Biography<\/h3>\r\nDon Syme joined Microsoft Research in 1998. Before that, he was a PhD student at the University of Cambridge Computer Laboratory after he I graduated from the Australian National University in 1993. Recently his research has revolved around Common IL and the Microsoft .NET Framework, and in particular the Microsoft .NET Common Language Runtime. He is involved in a number of projects here in Cambridge, including the design and implementation of support for Generics in C#, the CLR, Visual Basic and other languages, the design and implementation of F# and a study of value recursion in safe and semi-safe programming languages.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jack Lang | University of Cambridge\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.jpg\"><img class=\"size-full wp-image-272049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.jpg\" alt=\"jacklang\" width=\"100\" height=\"144\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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 give an overview of the process, explain some of the success factors investors look for, and discuss 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 that 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=\"Luciano Floridi | University of Oxford\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.jpg\"><img class=\"size-full wp-image-272052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.jpg\" alt=\"lucianofloridi\" width=\"100\" height=\"112\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/lucianofloridi.ppt\">What Is Information Ethics?<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nPhilosophers have recently turned their attention to the moral issues raised by Information and Communication Technologies (ICT). In less than a century, humanity has moved from a state of \"submission\" to nature, through a state of power of potential total destruction, to the present state in which we have the means and tools to engineer and manage entire new realities, to tailor them to our needs and to shape the future. Largely owing to ICT, our technological power is already enormous and is growing relentlessly. It is already so vast to have overcome the barrier between the natural and the artificial, the real and the virtual. For the first time in history, humanity can now create and control almost any aspect of its environment. Therefore, our moral responsibilities towards the world and future generations are equally enormous. How can we cope with these new ethical challenges? In this talk, I shall provide an answer in terms of \"information ethics\" (IE), that is, the branch of ethics that deals with moral issues emerging from the impact of ICT on society and human lives. The main point of the talk is that IE is a form of environmental ethics, which forces us to modify our basic conceptions of agent, patient and environment. Four main features of IE are outlined: according to IE,\r\n<ol>\r\n \t<li>Moral agents need not be only human individuals but may be artificial<\/li>\r\n \t<li>Moral patients need not be animal or environmental, but may also be artificial<\/li>\r\n \t<li>Because of (1) and (2) it is important to extend our ethical-ecological concerns to artificial environments, especially since we are increasingly invested with significant responsibilities in the construction of new realities<\/li>\r\n \t<li>(1) through (3) pave the way to an unifying approach according to which all entities may be usefully understood as informational entities that deserve some minimal respect.<\/li>\r\n<\/ol>\r\nThe talk presupposes no knowledge of philosophical or ethical theories or of any related, technical vocabulary.\r\n<h3>Biography<\/h3>\r\n<a href=\"http:\/\/www.wolfson.ox.ac.uk\/~floridi\/\">Luciano Floridi<\/a> is an Italian philosopher at the University of Oxford, best known for his research on the skeptical tradition and for his foundational work on the philosophy of information and on information ethics. He is Fellow of St Cross College, Oxford and Professor of Logic and Epistemology, Universit\u00e0 degli Studi di Bari. He is the founder and coordinator, with Jeff Sanders, of the IEG, the interdepartmental research group on the epistemology and ethics of information at Oxford, and the founder and director of <a href=\"http:\/\/www.swif.it\/\">SWIF<\/a>, the Italian e-journal of philosophy. He is Vice President of IACAP, the International Association for Computing and Philosophy.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Georges Gonthier | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.jpg\"><img class=\"size-full wp-image-272046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.jpg\" alt=\"georgesgonthier\" width=\"100\" height=\"133\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgesgonthier.ppt\">Four Colours Theorem<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThe 150-year-old Four Colour Theorem is the first famous result with a proof that requires large computer calculations. Such proofs are still controversial: It is thought that computer programs cannot be reviewed with mathematical rigor. To overturn this belief, we have created a fully computer-checked proof of the Four Colour Theorem. Using the <a href=\"http:\/\/coq.inria.fr\/\">Coq<\/a> proof assistant, we wrote an extended program that specifies both the calculations and their mathematical justification. Only the interface of the program \u2013 the statement of the theorem \u2013 needs to be reviewed. The rest (99.8%) is self-checking: Coq verifies that it strictly follows the rules of logic. Thus, our proof is more rigorous than a traditional one.\r\n<h3>Biography<\/h3>\r\nGeorges Gonthier received his Doctorate in 1988 from Universit\u00e9 Paris XI for work on the Esterel reactive programming language. After two years at AT&amp;T Bell Labs, he returned to France at INRIA in 1990. His work includes the optimal computation of functional programs, the formal verification of a concurrent memory management algorithm, and concurrency analysis of the Ariane 5 flight software. Dr Gonthier joined Microsoft Research Cambridge in 2003, where he completed the first fully computer-checked proof of the famous Four Colour Theorem.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andrew Phillips | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips-1.jpg\"><img class=\"size-full wp-image-272040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips-1.jpg\" alt=\"andrewphillips\" width=\"100\" height=\"120\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewphillips.ppt\">Simulating Biological Systems in the Stochastic Pi-Calculus<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThis talk presents an experimental programming language (<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/stochastic-pi-machine\/\">SPiM<\/a>) for modelling and simulating biological systems. The language is based on a mathematical formalism known as the pi-calculus, which was originally developed to model complex parallel computer systems. The language differs from traditional formalisms for biological modelling, by allowing the components of a biological system to be modelled independently, rather than modelling the individual reactions. This allows large models to be constructed by direct composition of simple components. The language also facilitates mathematical analysis of systems using a range of established techniques, which could eventually shed light on some of the fundamental properties of biological systems. The language is first presented by using a simple graphical notation, which is subsequently used to model and simulate an example gene network and part of an immune system pathway.\r\n<h3>Biography<\/h3>\r\nAndrew Phillips is a post-doctoral researcher at Microsoft Research Cambridge, where he is currently using techniques from concurrency theory to develop programming languages for modelling and simulating biological systems. Andrew was born in Barbados in 1977 and was awarded a government scholarship to study Engineering in 1995. In 2000, he received a degree in Computer Engineering from the INSA institute of Toulouse, France, together with a postgraduate degree in Computer Science from the University of Cambridge. He pursued a PhD in the Department of Computing at Imperial College London, where he developed an experimental language for specifying and implementing secure mobile applications. He later joined Microsoft Research Cambridge in 2005 to develop programming languages for modelling biological systems, in collaboration with Systems Biology researchers from various external institutions.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Alexander Br\u00e4ndle | Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.jpg\"><img class=\"size-full wp-image-272037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.jpg\" alt=\"alexanderbrandle\" width=\"100\" height=\"138\" \/><\/a><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderbrandle.ppt\">Robots Unlimited<\/a><\/h2>\r\n<h3>Biography<\/h3>\r\nAlexander Br\u00e4ndle is the head of the Intelligent Environments group at Microsoft Research Cambridge. Before joining Microsoft in 1998, Alexander was working on systems for uncertain reasoning in the automation industry. He holds a doctorate in Electrical Engineering. His group is exploring and developing key enabling technologies to be integrated in future human inhabited computing environments. Alexander\u2019s personal research focus is in area of \u2018end user\u2019 programming technologies and human robot interaction and integration in human environments.\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<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brianschroeder.pdf\" target=\"_self\">Real time editing of face expressions in video streams<\/a> | Brian Amberg (Universit\u00e4t Basel)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/konradkieling.pdf\" target=\"_self\">Linear optical quantum computing: novel architectures and computational assessment of performance<\/a> | Konrad Kieling (Imperial College London)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pdf\" target=\"_self\">A peer-to-peer based file backup system<\/a> | Alessandro Duminuco (Eur\u00e9com)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/juhomakio.pdf\" target=\"_self\">P-Trade \u2013 The generic P2P trading platform<\/a> | Juho M\u00e4ki\u00f6 (Forschungszentrum Informatik)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardkuntschke.pdf\" target=\"_self\">StreamGlobe: P2P stream sharing<\/a> | Richard Kuntschke (Technical University Munich)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tobiasscholl.pdf\" target=\"_self\">Histogram-based P2P main memory database for locality-aware data<\/a> | Tobias Scholl (Technical University Munich)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/marcschanne.pdf\" target=\"_self\">EventChannelNetwork asynchronous with hard real-time<\/a> | Marc Schanne (FZI Forschungszentrum Informatik)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyodonovan.pdf\" target=\"_self\">Wireless sensor networks in the area of medical informatics<\/a> | Tony O\u2019Donovan (University College Cork)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dandobre.pdf\" target=\"_self\">Fast asynchronous agreement protocols<\/a> | Dan Dobre (Technische Universit\u00e4t Darmstadt)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexspengler.pdf\" target=\"_self\">Improving machine learning predictions by exploiting structural information<\/a> | Alex Spengler (Universit\u00e9 Pierre et Marie Curie \u2013 Paris 6)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/michaelkaisser.pdf\" target=\"_self\">Web question answering by exploiting wide-coverage lexical resources<\/a> | Michael Kaisser (University of Edinburgh)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/abigaildurrant.pdf\" target=\"_self\">Designing photographic experiences to support autobiographical memory<\/a> | Abigail Durrant (Surrey University)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/davidstynes.ppt\" target=\"_self\">Adversarial constraint solving<\/a> | David Stynes (University College Cork)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/gillesraymond.pdf\" target=\"_self\">Mining historical data to build constraint viewpoint<\/a> | Gilles Raymond (Universit\u00e9 de Montpellier)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewweeks.pdf\" target=\"_self\">Neutral emergence<\/a> | Andrew Weeks (University of York)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.pdf\" target=\"_self\">Prediction of chemical shifts for protein (mis)-folding studies<\/a> | Kai Kohlhoff (University of Cambridge)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kesterclegg.ppt\" target=\"_self\">Binding analogue signals to digital genomes: using feedback to guide evolutionary search<\/a> | Kester Clegg (University of York)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.pdf\" target=\"_self\">Modelling inference and simulation of biological networks using constraint logic programming<\/a> | Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philippealexandrepouille.pdf\" target=\"_self\">In silico model of embryogenesis<\/a> | Philippe-Alexandre Pouille (Institut Curie)<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 2\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danielequercia.pdf\" target=\"_self\">Sharing with free-riders: trust models to the rescue<\/a> | Daniele Quercia (University College London)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brendansheehan.pdf\" target=\"_self\">Model driven visualization of large scale relational networks<\/a> | Brendan Sheehan (University College Dublin)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peterwong.pdf\" target=\"_self\">Towards a unified model for workflow process<\/a> | Peter Wong (University of Oxford)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexanderschneider.pdf\" target=\"_self\">Context-awareness in service-oriented architectures for mobile ambient intelligence services<\/a> | Alexander Schneider (Fraunhofer-Institut f\u00fcr Angewandte Informationstechnik)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andreasheil.pdf\" target=\"_self\">End-user debugging in distributed environments<\/a> | Andreas Heil (University of Stuttgart)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andymaule.pdf\" target=\"_self\">Impact analysis of relational schema changes on native language queries<\/a> | Andy Maule (University College London)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/aziemchawdhary.pdf\" target=\"_self\">Termination analysers for free!<\/a> | Aziem Chawdhary (Queen Mary University of London)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianschroff.pdf\" target=\"_self\">Using a mixture model for class-based segmentation<\/a> | Florian Schroff (University of Oxford)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.pdf\" target=\"_self\">Loop detection \u2013 Advances in counterexample guided abstraction-refinement<\/a> | Georg Weissenbacher (ETH Zurich)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/giorgiogianforme.pdf\" target=\"_self\">Schema and data mapping and transformation<\/a> | Giorgio Gianforme (Universit\u00e0 Roma Tre)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/loicfejoz.pdf\" target=\"_self\">Provably correct lock-free data structures<\/a> | Lo\u00efc Fejoz (LORIA)<\/li>\r\n \t<li>Computational effects and continuation-passing style | Peter Buchlovsky (University of Cambridge)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/martinfeilkas.pdf\" target=\"_self\">Domain specific languages and model transformation<\/a> | Martin Feilkas (Technical University Munich)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alexpoyda.pdf\" target=\"_self\">Environmental Scenario Search Engine<\/a> | Alexey Poyda (Moscow State University)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/damianserranogarcia.pdf\" target=\"_self\">High performance database replication for storage area networks<\/a> | Damian Serrano-Garcia (Universidad Politecnica de Madrid)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymedvedev.pdf\" target=\"_self\">SPIDR \u2013 Space physics interactive data resource<\/a> | Dmitry Medvedev (Bauman Moscow State Technical University)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dmitrymishin.pdf\" target=\"_self\">Geophysical models and data flows in GRID environment<\/a> | Dmitry Mishin (Earth Physics Institute)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stewarthickey.pdf\" target=\"_self\">Technologies for sustainable ICT<\/a> | Stewart Hickey (University of Limerick)<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Guidelines\"]\r\n\r\nPosters should be designed for A1 portrait (594 mm x 841 mm) colour printing 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>The intended outcome<\/li>\r\n \t<li>The stage of the research<\/li>\r\n \t<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps<\/li>\r\n<\/ul>\r\nPosters should also clearly display your name and the name of your university. A competition is organised to decide which poster best achieves these presentation goals. The winner is offered a travel sponsorship to a tier-one international conference in their field of research.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"}],"msr_startdate":"2006-07-04","msr_enddate":"2006-07-07","msr_event_time":"","msr_location":"Cambridge, UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 4, 2006","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The first Microsoft Research Summer School for PhD students was held in Cambridge, U.K., on 4 July through 7 July 2006. It included a series of talks of academic interest and a posters session that gave invited PhD students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics. Lectures and posters sessions were public and opened to faculty members and research students from the University of Cambridge. The venue&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\/271293","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\/271293\/revisions"}],"predecessor-version":[{"id":1147303,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/271293\/revisions\/1147303"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=271293"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=271293"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=271293"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=271293"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=271293"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=271293"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=271293"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=271293"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=271293"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}