Monday, 28 June 2010
| Time | Session | ||
|---|---|---|---|
|
15:00
|
Students staying at Jesus College (opens in new tab)get the keys to their rooms | ||
|
16:00
|
Welcome and tea
|
||
|
16:30
|
Bus transportation from Jesus College to the go-karting venue
|
||
|
17:00
|
Go-karting* and dinner (casual clothing; we recommend wearing old shoes)
|
||
|
22:00
|
Bus transportation back to Jesus College
|
Tuesday, 29 June 2010
| Time | Session | Speaker | ||
|---|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
|||
|
09:30
|
Registration
|
|||
|
10:30
|
Overview of Microsoft Research and the Summer School
|
Andrew Blake (Microsoft Research) |
||
|
11:00
|
How to write a great research paper
|
Simon Peyton Jones (opens in new tab),
(Microsoft Research) |
||
|
12:00
|
Lunch and poster session 1 (see posters guidelines)
|
|||
|
13:45
|
Bus transportation to London
|
|||
|
15:30
|
Royal Society Festival of Science (opens in new tab), London | |||
|
18:00
|
Free time in London
|
|||
|
21:30
|
Bus transportation back to Cambridge
|
Wednesday, 30 June 2010
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Presentation skills
|
Ken Shaw (Benchmark Communication Techniques) | |
|
10:30
|
Break | ||
|
11:00
|
Presentation content | Simon Peyton-Jones (Microsoft Research) |
|
|
12:00
|
Lunch and posters session 2 (see posters guidelines) | ||
|
14:00
|
Rough guide to being an entrepreneur | Jack Lang (University of Cambridge) |
|
|
15:00
|
Break | ||
|
15:15
|
Parallel session | ||
| Simulating global carbon-climate feedback | Drew Purves (Microsoft Research) |
||
| Molecular programming | Luca Cardelli (Microsoft Research) |
||
|
16:15
|
Break | ||
|
16:45
|
Parallel session | ||
| Infer.NET and probabilistic programming | John Winn (Microsoft Research) |
||
| Ten things you don’t know about Microsoft | Derick Campbell (Microsoft Research) |
||
| 17:45 | Bus transportation to punting location | ||
| 18:00 | Punting on the river Cam | ||
| 19:30 | Dinner at La Mimosa (opens in new tab) |
Thursday, 1 July 2010
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
From data to knowledge | Sydney Brenner (Salk Institute) |
|
| 10:30 | Break | ||
| 11:00 | Parallel sessions | ||
| Fun with F#: Solving complex problems with simple code | Anton Schwaighofer (Microsoft) | ||
| Simulation and data analysis with windows azure | Austin Donnelly (Microsoft Research) |
||
| 12:00 | Lunch and posters session 3 (see posters guidelines) | ||
| 14:00 | From driving to trafficking: the developing view of the user in computer systems design | Richard Harper (Microsoft Research) |
|
|
15:00
|
Break | ||
|
15:15
|
Presentations of past students | ||
| From program analysis research to industrial programming language development | Andy Maule (PhD at University College London; now at Microsoft Corp) | ||
| Static contract checking for Haskell | Dana N. Xu (PhD at the University of Cambridge; now at INRIA) | ||
| Communications, travel and social networks | Lynne Hamill (University of Surrey) |
||
|
16:15
|
Break | ||
|
16:45
|
Presentations of past students | ||
| Tracking and localisation for speech and robotics | Maurice Fallon (PhD at the University of Cambridge; now at MIT) |
||
| Acquiring syntactic and semantic transformations in question answering | Michael Kaisser (PhD at the University of Edinburgh; now at Microsoft Bing STC Europe) |
||
| To infinity and beyond with nonparametric Bayesian methods | Jurgen Van Gael (University of Cambridge) |
||
|
17:30
|
Bus transportation to Murray Edwards College | ||
|
18:00
|
Drinks, Drinks, and group photo | ||
|
19:00
|
Dinner at Murray Edwards College |
Friday, 2 July 2010
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Clound computing for research | Fabrizio Gagliardi (Microsoft Research) |
|
| 10:30 | Break | ||
| 11:00 |
Parallel sessions
|
||
| Introduction to intellectual property | Carole Boelitz (Microsoft) | ||
| Poster presentations for non native English speakers | Sue Duraikan (Duraikan Training) |
||
|
12:00
|
BBQ | ||
| 13:30 | End and bus transportation to Jesus College |