Monday, 2 July 2012
| Time | Session | ||
|---|---|---|---|
|
15:00
|
Students staying at Selwyn College get the keys to their rooms
|
||
|
16:00
|
Welcome and tea
|
||
|
16:30
|
Bus transportation from Selwyn 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 Selwyn College
|
Tuesday, 3 July 2012
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Registration
|
||
|
10:15
|
Welcome
|
Scarlet Schwiderski-Grosche (opens in new tab), Microsoft Research
|
|
|
10:30
|
Microsoft Research Cambridge Lab Overview
|
Ken Woodberry (opens in new tab)
(Microsoft Research) |
|
|
11:00
|
Functional First Programming in an Information-Rich World
|
Kenji Takeda (opens in new tab) |
|
|
12:00
|
Lunch and poster session 1 (opens in new tab)
|
||
|
14:00
|
Parallel sessions
|
||
|
Realising Touchless Interaction in the Operating Theatre
|
Helena Mentis (Microsoft Research) |
||
|
Planetary Prediction Services for Society
|
Matthew Smith (opens in new tab) (Microsoft Research) |
||
|
TRANSFORM* Session
|
|||
|
Planetary Prediction Services for Society
|
Peter Sewell (University of Cambridge) |
||
|
15:00
|
Break
|
||
|
15:15
|
Parallel sessions
|
||
|
Machine Learning for Medical Image Analysis
|
Antonio Criminisi (opens in new tab)
(Microsoft Research) |
||
|
Towards Predictable Data Centers- Why Johnny Can’t Use the Cloud and What Can We Do About It?
|
Thomas Karagiannis (opens in new tab)(Microsoft Research)
|
||
|
TRANSFORM* Session
|
|||
|
How do multicore machines actually behave? (Part 2)
|
Peter Sewell (University of Cambridge) |
||
|
16:15
|
Break
|
||
|
16:45
|
Parallel sessions
|
||
|
Proving that Programs Eventually Do Something Good
|
Byron Cook
(Microsoft Research) |
||
|
Human Computing and Crowdsourcing in Search
|
Gabriella Kazai
(Microsoft Research) |
||
|
TRANSFORM* Session
|
|||
|
STM in the Small: Trading Generality for Performance in Software Transactional Memory
|
Aleksandar Dragojevic (opens in new tab) (Microsoft Research)
|
||
|
17:45
|
Bus transportation to punting location
|
||
|
18:00
|
Punting on the River Cam
|
||
|
19:30
|
Dinner at The Riverside Restaurant
|
Wednesday, 4 July 2012
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Microsoft Academic Search
|
Alex Wade (opens in new tab)
(Microsoft Research) |
|
|
10:30
|
Break
|
||
|
11:00
|
How to Write a Great Research Paper
|
Simon Peyton-Jones (opens in new tab) |
|
|
12:00
|
Lunch and poster session 2 (opens in new tab)
|
||
|
14:00
|
How to Give a Great Research Talk
|
Simon Peyton-Jones (opens in new tab) |
|
|
15:00
|
Parallel sessions
|
||
|
Microsoft Research Connections and Cloud Computing for Science
|
Fabrizio Gagliardi (Microsoft Research) |
||
|
TRANSFORM* Session
|
|||
|
From Transactions to Data flow and Back Again (Part 1)
|
Mikel Lujan (University of Manchester) |
||
|
16:00
|
Break
|
||
|
16:30
|
Parallel sessions
|
||
|
.NET Gadgeteer: A Platform for Custom Devices
|
Scarlet Schwiderski-Grosche (opens in new tab) (Microsoft Research) |
||
|
TRANSFORM* Session
|
|||
|
From Transactions to Data flow and Back Again (Part 2)
|
Mikel Lujan (University of Manchester) |
||
|
17:00
|
Parallel sessions
|
||
|
Gadgeteer Workshop
|
Steven Johnston (University of Southampton) | ||
|
F# Tutorial
|
Tomas Petricek (Cambridge University) |
||
|
19:00
|
Bus Transportation to Selwyn College
|
Thursday, 5 July 2012
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Body Part Recognition: Making Kinect Robust
|
Jamie Shotton (opens in new tab) (Microsoft Research) |
|
|
10:30
|
Break
|
||
|
11:00
|
Rough Guide to Being an Entrepreneur
|
Jack Lang (University of Cambridge) |
|
| 12:00 |
Lunch and poster session 3 (opens in new tab)
|
||
| 14:00 | Strategic Thinking for Researchers | Andy Gordon (opens in new tab) (Microsoft Research) |
|
| 14:30 |
Can Computers Understand Their Own Programs?
|
Tony Hoare (Microsoft Research) |
|
| 15:00 | Break | ||
| 15:15 | The EDSAC Replica Project | Andrew Herbert | |
|
16:15
|
DemoFest
|
||
|
17:45
|
Bus transportation to Jesus College
|
||
|
18:00
|
Drinks, more drinks, and Group Photo
|
||
|
19:15
|
Dinner at Jesus College
|
Friday, 6 July 2012
| Time | Session | Speaker | |
|---|---|---|---|
|
09:00
|
Bus to Microsoft Research
|
||
|
09:30
|
Intellectual Property at Microsoft | Pablo Tapia (Microsoft Research) |
|
| 10:30 |
Break
|
||
| 11:00 |
How to Present a Poster at an International Conference
|
Sue Duraikan |
|
|
12:00
|
BBQ
|
||
|
13:30
|
End
|
*TRANSFORM (opens in new tab) is a Marie-Curie Initial Training Network on Theoretical Foundations of Transactional Memory. There are TRANSFORM training activities co-located with the School and specific TRANSFORM sessions indicated accordingly.