| When and Where | |
|---|---|
| Date: | June 2nd, 2010 |
| Time: | (provisional) Mid-morning to late afternoon |
| Location: | MSR Cambridge, England |
| Address: | Microsoft Research Cambridge Roger Needham Building 7 J J Thomson Ave Cambridge CB3 0FB, UK |
| Links: | Visit MSR, Cambridge England |
There is going to be an informal ICFP PC Functional Programming Workshop, on Wednesday, the 2nd of June.
Here is a (tentative list) of speakers and some working titles.
| 11:00 - 12:00 | Manuel Serrano | Diffuse Programming |
| 12:00 - 12:30 | Umut Acar | Traceable Data Types on Self-Adjusting Computation |
| 12:30 - 1:30 | LUNCH | |
| 1:30 - 2:00 | James Cheney | A wiki everyone can use to structure, organize, manage and exchange data (or: How to train your database wiki) |
| 2:00 - 2:30 | Kathryn Gray | System Tests from Unit Tests |
| 2:30 - 3:00 | Simon Marlow | Scheduling lazy evaluation on multiple cores |
| 3:00 - 3:30 | BREAK | |
| 3:30 - 4:00 | Dominic Orchard | Functional programming with monads combined with comonads |
| 4:00 - 4:30 | Neelakantan Krishnaswami | Metric Space Semantics for Higher-Order Functional Reactive Programming |
| 4:30 - 5:00 | Andres Loeh | A generic `deriving' mechanism for Haskell |
If you need wireless, before arriving you need to email msrcsupp@microsoft.com providing the following information:
Name:
Email Address:
Company/Institution:
Country of Origin:
Host Name:
Visit start date:
Duration of visits: