Monday, 29 June
| Time | Session | Speaker | Location |
|---|---|---|---|
|
16:00
|
Arrival and check in at Selwyn College
|
||
|
16:00
|
Registration and High Tea at Selwyn College
|
||
|
18:00
|
Free Time
|
Tuesday, 30 June
| Time | Session | Speaker | Location | |
|---|---|---|---|---|
|
08:30
|
Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees
|
|||
|
09:15
|
Welcome to Microsoft Research Cambridge
|
Scarlet Schwiderski-Grosche, Microsoft Research
|
Main Auditorium | |
|
09:30
|
How to Give a Great Research Talk
|
Simon Peyton Jones, Microsoft Research
|
Main Auditorium | |
|
10:00
|
Introduction to Code Hunt
|
Nikolai Tillmann, Microsoft Research | Main Auditorium | |
|
10:30
|
Morning Break
|
|||
|
11:00
|
Technology Development
|
Hermann Hauser, Amadeus Capital Partners
|
Main Auditorium | |
|
12:00
|
Lunch/Poster Session
|
|||
|
14:00
|
Research Parallel Sessions
|
|||
|
Machine Learning in Health Care
|
Antonio Criminisi, Microsoft Research |
Main Auditorium | ||
|
Hoarding Cats: Modelling and Testing Concurrent Systems
|
Jade Alglave, Microsoft Research |
Flexible Meeting Room | ||
|
15:00
|
Afternoon Break
|
|||
|
15:30
|
Research Parallel Sessions
|
|||
|
Designing Computer Systems That See
|
Abigail Sellen, Microsoft Research |
Main Auditorium | ||
|
Joined Up Planetary Information, in the Cloud and on Devices
|
Matthew Smith, Microsoft Research |
Flexible Meeting Room | ||
|
16:30
|
Coach Transfer: Microsoft Research to WildTracks, Go Karting
|
|||
|
17:15
|
Go-Karting at WildTracks Karting and BBQ
|
|||
|
21:30
|
Coach Transfer: WildTracks to Selwyn College
|
Wednesday, 1 July
| Time | Session | Speaker | Location |
|---|---|---|---|
|
08:15
|
Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees
|
||
|
09:00
|
Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting
|
Dave Yewman, Elevator Speech Inc.
|
Main Auditorium |
|
10:30
|
Morning Break
|
||
|
11:00
|
Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting
|
Dave Yewman, Elevator Speech Inc.
|
Main Auditorium |
|
12:00
|
Lunch/Poster Session
|
||
|
14:00
|
Computing Reliability with Molecular Walkers
|
Marta Kwiatkowska, University of Oxford |
Main Auditorium |
|
15:00
|
Afternoon Break
|
||
|
15:30
|
Strategic Thinking for Researchers
|
Andy Gordon, Microsoft Research
|
Main Auditorium |
|
16:30
|
Research Parallel Sessions | ||
|
Microsoft Azure Tutorial
|
Kenji Takeda, Microsoft Research
|
Main Auditorium | |
|
.NET Gadgeteer Workshop
|
Paul Foster, Microsoft
|
||
|
17:30
|
Coach transfer: Microsoft Research to Selwyn College
|
||
|
17:30-19:30
|
Code Hunt Contest (optional attendance)
|
Nikolai Tillmann, Microsoft Research | Main Auditorium |
Thursday, 2 July
| Time | Session | Speaker | Location |
|---|---|---|---|
|
08:45
|
Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees
|
||
|
09:30
|
Research Parallel Sessions
|
||
|
Technology & Economics: Real-Time Ad Bidding and Personal Surveillance
|
Natasa Milic-Frayling, Microsoft Research |
Main Auditorium | |
|
The Varied Forms of Verification with Z3
|
Christoph Wintersteiger, Microsoft Research |
Flexible Meeting Room | |
|
10:30
|
Morning Break
|
||
|
11:00
|
Research Parallel Sessions
|
||
|
Predictable Data Centers
|
Thomas Karagiannis, Microsoft Research |
Main Auditorium | |
|
Designing Human Experiences
|
Richard Banks, Microsoft Research |
Flexible Meeting Room | |
|
12:00
|
Lunch/Poster Session
|
||
|
14:00
|
The Laws of Programming with Concurrency
|
Tony Hoare, Microsoft Research
|
Main Auditorium |
|
15:00
|
Empirical Inference for Intelligent Systems
|
Bernhard Schölkopf, Max Planck Institute for Intelligent Systems |
Main Auditorium |
|
16:00
|
DemoFest (including Afternoon Break)
|
||
|
17:30
|
Coach transfer: Microsoft Research to Jesus College
|
||
|
18:00
|
Drinks and Group Photo
|
||
|
19:00
|
Formal Dinner at Jesus College
|
||
|
21:30
|
Coach Transfer: Jesus College to Selwyn College
|
Friday, 3 July
| Time | Session | Speaker | Location |
|---|---|---|---|
|
08:45
|
Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees
|
||
|
09:30
|
How to Present a Poster at an International Conference
|
Sue Duraikan, Duraikan Training
|
Main Auditorium |
| 10:15 |
How to Give a Great Research Talk
|
Simon Peyton Jones, Microsoft Research
|
Main Auditorium |
| 11:15 |
Morning Break
|
||
| 11:30 |
How to Write a Great Research Paper
|
Simon Peyton Jones, Microsoft Research
|
Main Auditorium |
|
12:30
|
PhD Summer School Closes | Grab-and-Go Lunch
|